From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA00914 for caml-redistribution; Wed, 27 Nov 1996 20:46:51 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA12676 for ; Tue, 26 Nov 1996 02:44:51 +0100 (MET) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by concorde.inria.fr (8.7.6/8.7.1) with ESMTP id CAA03235 for ; Tue, 26 Nov 1996 02:44:44 +0100 (MET) Received: from orion.kur (orion.kurims.kyoto-u.ac.jp [130.54.16.5]) by kurims.kurims.kyoto-u.ac.jp (8.7.5/3.4W2) with SMTP id KAA07089 for ; Tue, 26 Nov 1996 10:44:31 +0900 (JST) Received: by orion.kur (SMI-8.6/SMI-SVR4) id KAA02490; Tue, 26 Nov 1996 10:44:31 +0900 Date: Tue, 26 Nov 1996 10:44:31 +0900 Message-Id: <199611260144.KAA02490@orion.kur> From: Jacques GARRIGUE To: caml-list@pauillac.inria.fr In-reply-to: <199611251006.LAA01340@tobago.inria.fr> (message from Damien Doligez on Mon, 25 Nov 1996 11:06:57 +0100) Subject: Re: caml under FreeBSD. Sender: weis >>>>> " " == Damien Doligez writes: > You should use the small preprocessor that is provided with Caml Light. > Go to src/tools and type "make clprepro". > Change src/Makefile to uncomment the line > # CPP=../../src/tools/clprepro -Dunix > and comment the line > CPP=/lib/cpp -P -Dunix Stop! There is a cpp in FreeBSD. Just, it is not in /lib/cpp but /usr/bin/cpp. Indeed, there is a line about that in Caml-Light's Makefile. So just change CPP=/lib/cpp -P -Dunix to CPP=/usr/bin/cpp -P -Dunix --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue@kurims.kyoto-u.ac.jp JG