diff options
| author | whitequark <whitequark@whitequark.org> | 2016-03-13 05:07:24 +0000 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2016-03-17 23:36:40 +0100 |
| commit | b08a1a2ed88af97a4688816d90063c319640862d (patch) | |
| tree | a9afcf044e1cb3993024f53ed5a1aa7ec6c1123c /tools/Makefile | |
| parent | 8226e2863cb71f6b48746e4e27423503f7e63136 (diff) | |
| download | ocaml-b08a1a2ed88af97a4688816d90063c319640862d.tar.gz | |
tools/ocamlmktop.tpl: remove in favor of ocamlmktop.ml.
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/tools/Makefile b/tools/Makefile index 0e91277ce7..c7da95d99a 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -17,12 +17,15 @@ include Makefile.shared # To make custom toplevels -ocamlmktop: ocamlmktop.tpl ../config/Makefile - sed -e 's|%%BINDIR%%|$(BINDIR)|' ocamlmktop.tpl > ocamlmktop - chmod +x ocamlmktop +OCAMLMKTOP=ocamlmktop.cmo +OCAMLMKTOP_IMPORTS=misc.cmo identifiable.cmo numbers.cmo config.cmo \ + arg_helper.cmo clflags.cmo ccomp.cmo + +ocamlmktop: $(OCAMLMKTOP) + $(CAMLC) $(LINKFLAGS) -o ocamlmktop $(OCAMLMKTOP_IMPORTS) $(OCAMLMKTOP) install:: - cp ocamlmktop "$(INSTALL_BINDIR)" + cp ocamlmktop "$(INSTALL_BINDIR)/ocamlmktop$(EXE)" clean:: rm -f ocamlmktop |