Re: Packaging Coq

[Ludovic Courtès]

Andreas Enge <address@hidden> 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"
>>                                                   " -prefix " out
>>                                                   " -camldir "
>>                                                   (dirname (which 
>> "ocaml")))))))
>
> This is very strange, how is it at all possible that system* does not work?

I’m guess that the problem instead was that the default ‘configure’
phase passes arguments not recognized by this hand-written ‘configure’
script.

However, please use ‘system*’ instead of ‘system’.

Thanks,
Ludo’.