Re: Packaging Coq

[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"
>                                                   " -prefix " out
>                                                   " -camldir "
>                                                   (dirname (which 
> "ocaml")))))))

This is very strange, how is it at all possible that system* does not work?

>                       (alist-replace 'build
>                                      (lambda _
>                                        (system* "make" "world"))

Instead of this, you could use
  #:make-flags '("world")

Andreas