Browse thread
problem installing janestreet core through godi
-
Ashish Agarwal
-
Markus Mottl
-
Mark Shinwell
-
Ashish Agarwal
- Markus Mottl
- Nobuyuki TOMIZAWA
-
Ashish Agarwal
-
Mark Shinwell
-
Markus Mottl
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2008-10-22 (17:57) |
From: | Nobuyuki TOMIZAWA <n-tomizawa@m...> |
Subject: | Re: [Caml-list] problem installing janestreet core through godi |
Hi, list, > Thank you for the replies. In type_class.ml and type_class.mli, I > replaced (*pp cpp $ARCH_FLAGS *) with (*pp gcc -E $ARCH_FLAGS *). Another option is to use /usr/bin/cpp-4.2 instead of /usr/bin/cpp. After making symbolic link ~/bin/cpp to /usr/bin/cpp-4.2 (and put `~/ bin' in PATH), I succeed to build bin-proto without source code modification. -- nobuyuki