diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-08-23 06:50:40 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-08-23 06:50:40 +0000 |
| commit | 308c941a19fd66e1625df67ec8702ff1147cbfd9 (patch) | |
| tree | 2ba556038adffb7417d49d463136d512b2eaaefc | |
| parent | 3fa58bda8923a6fdb7f43849761199891d77149e (diff) | |
call ocamltoolsopt earlier
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12874 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -128,7 +128,6 @@ world: world.opt: $(MAKE) coldstart $(MAKE) opt.opt - $(MAKE) ocamltoolsopt # Hard bootstrap how-to: # (only necessary in some cases, for example if you remove some primitive) @@ -253,8 +252,9 @@ opt: # Native-code versions of the tools opt.opt: checkstack runtime core ocaml opt-core ocamlc.opt otherlibraries \ $(DEBUGGER) ocamldoc ocamlbuild.byte $(CAMLP4OUT) \ - ocamlopt.opt otherlibrariesopt ocamllex.opt ocamltoolsopt.opt \ - ocamldoc.opt ocamlbuild.native $(CAMLP4OPT) + ocamlopt.opt otherlibrariesopt ocamllex.opt \ + ocamltoolsopt ocamltoolsopt.opt ocamldoc.opt ocamlbuild.native \ + $(CAMLP4OPT) base.opt: checkstack runtime core ocaml opt-core ocamlc.opt otherlibraries \ ocamlbuild.byte $(CAMLP4OUT) $(DEBUGGER) ocamldoc ocamlopt.opt \ |