diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-08 14:07:01 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-08 14:07:01 +0000 |
commit | f99a06904dbcf3cffdb7c33fb15939a004d34f2c (patch) | |
tree | 45c972ac6ccd0d49051157918be6773a1f9a1e68 | |
parent | 3551f7054b125b41d58f78dbabb61999dac05f71 (diff) |
Suppression de make configure
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -80,10 +80,6 @@ all: runtime camlc camllex camlyacc library camltop # The compilation of camltop will fail if the runtime has changed. # Never mind, just do make bootstrap to reach fixpoint again. -# Configure the system -configure: - cd config; sh autoconf "$(BYTECC) $(CCLINKOPTS) $(CCLIBS)" - # Compile everything the first time world: coldstart clean all |