Re: Packaging Coq

2014-12-05 Thread Andreas Enge
On Thu, Dec 04, 2014 at 06:56:25PM -0500, Mark H Weaver wrote: Andreas Enge andr...@enge.fr writes: Instead of this, you could use #:make-flags '(world) IMO, this is a misuse of #:make-flags. 'world' is not a make flag, it is a make *target*. The make flags are also passed to 'make'

Re: Packaging Coq

2014-12-05 Thread Mark H Weaver
Andreas Enge andr...@enge.fr writes: On Thu, Dec 04, 2014 at 06:56:25PM -0500, Mark H Weaver wrote: Andreas Enge andr...@enge.fr writes: Instead of this, you could use #:make-flags '(world) IMO, this is a misuse of #:make-flags. 'world' is not a make flag, it is a make *target*. The

Re: Packaging Coq

2014-12-04 Thread Andreas Enge
On Thu, Dec 04, 2014 at 05:02:27AM +0400, Nikita Karetnikov wrote: ;; 'configure' does not recognize the flags if you ;; use 'system*'. (system (string-append ./configure

Re: Packaging Coq

2014-12-04 Thread John Darrington
On Thu, Dec 04, 2014 at 05:02:27AM +0400, Nikita Karetnikov wrote: (system (string-append ./configure -prefix out -camldir

Re: Packaging Coq

2014-12-04 Thread Nikita Karetnikov
Should these arguments not be a double -- ?? No. pgpIWWS3Y1b3c.pgp Description: PGP signature

Re: Packaging Coq

2014-12-04 Thread Nikita Karetnikov
Since people are commenting only on the recipe, I guess I need to clarify that I’d like to know why it fails to build. pgpVm4hxBpXvG.pgp Description: PGP signature

Re: Packaging Coq

2014-12-04 Thread Nikita Karetnikov
I haven’t done the obvious thing… The package in Nixpkgs does more things, so I’ll try to change my recipe accordingly. pgp4000r6YKBh.pgp Description: PGP signature

Re: Packaging Coq

2014-12-04 Thread Ludovic Courtès
Andreas Enge andr...@enge.fr skribis: On Thu, Dec 04, 2014 at 05:02:27AM +0400, Nikita Karetnikov wrote: ;; 'configure' does not recognize the flags if you ;; use 'system*'. (system (string-append ./configure

Re: Packaging Coq

2014-12-04 Thread Mark H Weaver
Andreas Enge andr...@enge.fr writes: On Thu, Dec 04, 2014 at 05:02:27AM +0400, Nikita Karetnikov wrote: (alist-replace 'build (lambda _ (system* make world)) Instead of this, you could use

Packaging Coq

2014-12-03 Thread Nikita Karetnikov
Does anyone know how to proceed? ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2014 Nikita Karetnikov nik...@karetnikov.org ;;; ;;; This file is part of GNU Guix. ;;; ;;; GNU Guix is free software; you can redistribute it and/or modify it ;;; under the terms of the GNU