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 OAA08556 for caml-redistribution; Tue, 1 Apr 1997 14:42:36 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA07418 for ; Tue, 1 Apr 1997 13:30:12 +0200 (MET DST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id NAA07611 for ; Tue, 1 Apr 1997 13:29:46 +0200 (MET DST) Received: from safran.kurims.kyoto-u.ac.jp (safran.kurims.kyoto-u.ac.jp [130.54.16.91]) by kurims.kurims.kyoto-u.ac.jp (8.8.4/3.4W2) with SMTP id UAA08957; Tue, 1 Apr 1997 20:29:21 +0900 (JST) Received: by safran.kurims.kyoto-u.ac.jp (5.65v3.2/1.1.10.5/14) id AA05372; Tue, 1 Apr 1997 20:29:32 +0900 Date: Tue, 1 Apr 1997 20:29:32 +0900 Message-Id: <9704011129.AA05372@safran.kurims.kyoto-u.ac.jp> From: Jacques GARRIGUE To: orodeh@cs.huji.ac.il Cc: caml-list@inria.fr In-Reply-To: <199703310617.JAA24176@harpo.cs.huji.ac.il> (message from Ohad Rodeh on Mon, 31 Mar 1997 09:17:44 +0300 (IDT)) Subject: Re: BSD optimized code Sender: weis Date: Mon, 31 Mar 1997 09:17:44 +0300 (IDT) From: Ohad Rodeh Does ocaml-1.05 create optimized code for the BSD operating system version 2.1, with a pentium cpu? Yes, the native code compiler is optimizing on all platforms. PS I got the following errors while trying to compile the "opt" option: gcc -c -DSYS_bsd -o i386.o i386.S i386.S:40:invalid character '_' in opcode ..... The assembler of BSD/OS 2.1 is not compatible with its preprocessor ! I had the same problem, and finally resolved it by generating the preprocessed source, and removing unnecessary space by hand. The problem is that there should be no space between a label and the colon following it, bu the preprocessor introduce some, and then mixes up labels and opcodes. Hope it helps. Jacques --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue@kurims.kyoto-u.ac.jp JG