From 633e40b6f925556e94347c348a2804cdc1068d88 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Wed, 8 Mar 2017 14:26:00 +0100 Subject: [camlpX] Enrico's changes to camlp4 removal. This removes some remaining support for camlp4 in the infrastructure and documents the change. --- INSTALL | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 9454bba4a..6b49738b8 100644 --- a/INSTALL +++ b/INSTALL @@ -39,8 +39,7 @@ WHAT DO YOU NEED ? probably available in your distribution and for sure at http://projects.camlcity.org/projects/findlib.html) - - Camlp5 (version >= 6.02) (Coq compiles with Camlp4 but might be - less well supported) + - Camlp5 (version >= 6.02) - GNU Make version 3.81 or later @@ -74,11 +73,10 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS). bigger), you will also need the "ocamlopt" (or its native code version "ocamlopt.opt") command. -2- Check that you have Camlp5 (or a supported Camlp4) installed on your - computer and that the command "camlp5" lies in a directory which - is present in your $PATH environment variable path. - (You need Camlp5/4 in both bytecode and native versions if - your platform supports it). +2- Check that you have Camlp5 installed on your computer and that the + command "camlp5" lies in a directory which is present in your $PATH + environment variable path. (You need Camlp5 in both bytecode and + native versions if your platform supports it). 3- The uncompression and un-tarring of the distribution file gave birth to a directory named "coq-8.xx". You can rename this directory and put -- cgit v1.2.3