The Coq mailing list

[Matej Kosik <5764c029b688c1c0d24a2e97cd764f AT gmail.com>]

Hi,

On 08/03/2016 11:58 AM, Ralf Jung wrote:
> Hi,
> 
>> I also wonder if how I can check which of camlp4 or camlp5 is used in my
>> Coq binary..  But if you installed Coq via opam or from tarball, it is
>> highly likely that your Coq uses camlp5.  It is the default option.
>>
>> Note that you can `opam install coq.8.5.2~camlp4` to obtain the
>> camlp4-based version of Coq.
> 
> I see... I compiled Coq myself though. Both versions of camlp were
> present during "./configure" time.
> 
> Well, I just uninstalled camlp4, so the next time I re-compile I know
> what it is using. ;)

It is possible to make the choice this way.
If you (now or later) find this too restricting,
i.e. you would like to keep both, camlp5 and camlp4 installed,
then you can also take advantage of:

  -usecamlp5                Specifies to use camlp5 instead of camlp4
  -usecamlp4                Specifies to use camlp4 instead of camlp5

command-line paramters supported by the Coq's configure script.