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 TAA25188 for caml-redistribution; Fri, 25 Jul 1997 19:32:24 +0200 (MET DST) 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 SAA24500 for ; Fri, 25 Jul 1997 18:39:59 +0200 (MET DST) Received: from prof.inria.fr (prof.inria.fr [128.93.11.47]) by concorde.inria.fr (8.8.5/8.8.5) with ESMTP id SAA07639 for ; Fri, 25 Jul 1997 18:39:59 +0200 (MET DST) Received: from hobbes.inria.fr (hobbes.inria.fr [128.93.11.72]) by prof.inria.fr (8.6.10/8.6.6) with ESMTP id SAA10867 for ; Fri, 25 Jul 1997 18:39:57 +0200 Received: (lefessan@localhost) by hobbes.inria.fr (8.6.10/8.6.6) id SAA10073; Fri, 25 Jul 1997 18:39:52 +0200 Date: Fri, 25 Jul 1997 18:39:52 +0200 Message-Id: <199707251639.SAA10073@hobbes.inria.fr> From: Fabrice Le Fessant To: caml-list@pauillac.inria.fr In-reply-to: <199707251356.PAA06115@hobbes.inria.fr> (message from Fabrice Le Fessant on Fri, 25 Jul 1997 15:56:25 +0200) Subject: ocamlc compiled in native code MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=iso-8859-1 Sender: weis I have just make a new little patch to ocaml-1.05 to compile ocamlc in native code (ocamlopt could already be compiled to native code by «make ocamlopt.opt» in the standard distribution). The patch is located in http://www-sor.inria.fr/~lefessan/src/ (http://www-sor.inria.fr/~lefessan/src/patch.ocamlc.opt.gz) Just apply the patch to the ocaml-1.05 distribution. Then configure it, «make world», «make opt», «make ocamlopt.opt» and «make ocamlc.opt». The new ocamlc compiler in native code is called «ocamlc.opt». You can rename it to «ocamlc» if you want. Don't forget to copy «ocamlc.opt» and «ocamlopt.opt» with other binaries as «make install» will not do it.