bug#34531: Guix profile fails on Overdrive 1000

2019-04-04 Thread Ludovic Courtès
Hello, Ricardo Wurmus skribis: > Andreas Enge writes: > >> Before closing the bug, I would still like to ask whether there is a way >> of getting around the need for python. > > Guix pull needs “guile-git”, and “guile-git” needs “libgit2”, which > needs “python-wrapper”. To remove the need

bug#34531: Guix profile fails on Overdrive 1000

2019-02-26 Thread Ricardo Wurmus
Hi Danny, >> The loop looks a bit more complicated than it needs to be, I think. Did >> my version not work for you? > > It did, but I wanted to make sure the port did exactly the same as the > original generate.py--maybe I overdid it, but I didn't want to break it > by porting it. > > What

bug#34531: Guix profile fails on Overdrive 1000

2019-02-24 Thread Danny Milosavljevic
Hi Ricardo, On Sun, 24 Feb 2019 12:45:34 +0100 Ricardo Wurmus wrote: > Danny Milosavljevic writes: > > > Final version attached. Works fine now. > > The loop looks a bit more complicated than it needs to be, I think. Did > my version not work for you? It did, but I wanted to make sure

bug#34531: Guix profile fails on Overdrive 1000

2019-02-24 Thread Ricardo Wurmus
Danny Milosavljevic writes: > Final version attached. Works fine now. The loop looks a bit more complicated than it needs to be, I think. Did my version not work for you? -- Ricardo

bug#34531: Guix profile fails on Overdrive 1000

2019-02-24 Thread Danny Milosavljevic
Final version attached. Works fine now. ;; -*- geiser-scheme-implementation: guile -*- ;;; Implementation: Danny Milosavljevic ;;; Based on: Implementation in Python by Vicent Marti. ;;; License: ISC, like the original generate.py in clar. (use-modules (ice-9 ftw)) (use-modules (ice-9 regex))

bug#34531: Guix profile fails on Overdrive 1000

2019-02-23 Thread Ricardo Wurmus
Danny Milosavljevic writes: > (define (skip-comments text) > (replace (string-append "//[^\n]*?|" > "/[*].*?[*]/|" > "'([.]|[^'])*?'|" > "\"([.]|[^\"])*?\"") This last part will remove anything between double

bug#34531: Guix profile fails on Overdrive 1000

2019-02-20 Thread Danny Milosavljevic
On Wed, 20 Feb 2019 23:08:57 +0100 Danny Milosavljevic wrote: > First somewhat working version attached... > > It finds 1387 tests in 328 suites. > > The original finds 2611 tests in 349 suites. > > That's because skip-comments is somehow broken. Another example is tests/repo/pathspec.c

bug#34531: Guix profile fails on Overdrive 1000

2019-02-20 Thread Danny Milosavljevic
First somewhat working version attached... It finds 1387 tests in 328 suites. The original finds 2611 tests in 349 suites. That's because skip-comments is somehow broken. An example where it has an error very early is tests/core/futils.c : (use-modules (ice-9 ftw)) (use-modules (ice-9 regex))

bug#34531: Guix profile fails on Overdrive 1000

2019-02-20 Thread Ricardo Wurmus
Danny Milosavljevic writes: > It almost works, but it seems not to find the "test_" lines. > > I've reduced the problem to: > > scheme@(guile-user)> ,use (ice-9 regex) > scheme@(guile-user)> (fold-matches "^void" "blah\nvoid\n" '() cons) > $24 = () > > After reading the documentation, I've

bug#34531: Guix profile fails on Overdrive 1000

2019-02-20 Thread Danny Milosavljevic
Hi Ricardo, On Wed, 20 Feb 2019 16:56:35 +0100 Ricardo Wurmus wrote: > The fixed version is attached. Thanks a lot! It almost works, but it seems not to find the "test_" lines. I've reduced the problem to: scheme@(guile-user)> ,use (ice-9 regex) scheme@(guile-user)> (fold-matches "^void"

bug#34531: Guix profile fails on Overdrive 1000

2019-02-20 Thread Ricardo Wurmus
Hi Danny, > unpack libgit2-0.27.7, then invoke > > guile generate.scm -o /tmp -f -x online -x stress -x perf . > > in there. Thanks for the instructions. One of the problems is that you use and also overwrite “write”, which is a core Scheme procedure. I renamed it to “Write” and modified the

bug#34531: Guix profile fails on Overdrive 1000

2019-02-20 Thread Danny Milosavljevic
> What files does a proper test require? generate.scm scans the files with the glob "*.c" for functions test_... and refers all of those in a new file "clar.suite" in the directory specified by "-o". pgpMb_SorYHF4.pgp Description: OpenPGP digital signature

bug#34531: Guix profile fails on Overdrive 1000

2019-02-20 Thread Danny Milosavljevic
Hi Ricardo, unpack libgit2-0.27.7, then invoke guile generate.scm -o /tmp -f -x online -x stress -x perf . in there. Reference: ./tests/CMakeLists.txt: COMMAND ${PYTHON_EXECUTABLE} generate.py -o "${CMAKE_CURRENT_BINARY_DIR}" -f -xonline -xstress -xperf . (in libgit2) pgptQVueyeZfL.pgp

bug#34531: Guix profile fails on Overdrive 1000

2019-02-20 Thread Ricardo Wurmus
Danny Milosavljevic writes: > I've started on implementing a replacement test generator, see attachment. Excellent! > Usage is exactly the same as the original generate.py. Can you show us how to use it? What files does a proper test require? -- Ricardo

bug#34531: Guix profile fails on Overdrive 1000

2019-02-20 Thread Danny Milosavljevic
I've started on implementing a replacement test generator, see attachment. Usage is exactly the same as the original generate.py. However, it hangs somewhere and I can't find how to step through a guile program, even in emacs. Help? ;; -*- geiser-scheme-implementation: guile -*- ;;

bug#34531: Guix profile fails on Overdrive 1000

2019-02-19 Thread Danny Milosavljevic
Hi Andreas, On Tue, 19 Feb 2019 16:35:53 +0100 Andreas Enge wrote: > I tried to simply drop python-wrapper from inputs. Actually it is not > referenced by the final output, so it should be in native-inputs. And > here is what happens: > > -- Could NOT find PythonInterp (missing:

bug#34531: Guix profile fails on Overdrive 1000

2019-02-19 Thread Andreas Enge
On Tue, Feb 19, 2019 at 02:23:23PM +0100, Ricardo Wurmus wrote: > Guix pull needs “guile-git”, and “guile-git” needs “libgit2”, which > needs “python-wrapper”. To remove the need for Python in “guix pull” we > would need to build libgit2 without Python. I don’t know if anyone has > investigated

bug#34531: Guix profile fails on Overdrive 1000

2019-02-19 Thread Danny Milosavljevic
Hi Ricardo, Hi Andreas, On Tue, 19 Feb 2019 14:23:23 +0100 Ricardo Wurmus wrote: > Andreas Enge writes: > > > Before closing the bug, I would still like to ask whether there is a way > > of getting around the need for python. > > Guix pull needs “guile-git”, and “guile-git” needs

bug#34531: Guix profile fails on Overdrive 1000

2019-02-19 Thread Ricardo Wurmus
Andreas Enge writes: > Before closing the bug, I would still like to ask whether there is a way > of getting around the need for python. Guix pull needs “guile-git”, and “guile-git” needs “libgit2”, which needs “python-wrapper”. To remove the need for Python in “guix pull” we would need to

bug#34531: Guix profile fails on Overdrive 1000

2019-02-19 Thread Andreas Enge
Hello Marius, thanks a lot for your quick and helpful reply! On Mon, Feb 18, 2019 at 09:49:10PM +0100, Marius Bakke wrote: > The Python contained within this Guix snapshot has a known bug that > makes it leak memory on newer kernels. The Guix commit that works > around it is

bug#34531: Guix profile fails on Overdrive 1000

2019-02-18 Thread Marius Bakke
Andreas Enge writes: > Hello, > > on a newly installed Overdrive 1000 machine with 8 GB of memory, I am trying >guix pull -n > > This results in > Updating channel 'guix' from Git repository at > 'https://git.savannah.gnu.org/git/guix.git'... > Building from this channel: > guix

bug#34531: Guix profile fails on Overdrive 1000

2019-02-18 Thread Andreas Enge
Hello, on a newly installed Overdrive 1000 machine with 8 GB of memory, I am trying guix pull -n This results in Updating channel 'guix' from Git repository at 'https://git.savannah.gnu.org/git/guix.git'... Building from this channel: guix https://git.savannah.gnu.org/git/guix.git