diff options
author | whitequark <whitequark@whitequark.org> | 2016-03-13 05:11:10 +0000 |
---|---|---|
committer | alainfrisch <alain@frisch.fr> | 2016-03-17 23:36:42 +0100 |
commit | f1adf551d42be4bddc8980a7b6b3aee68ca63e97 (patch) | |
tree | 1db2d5d6a63233185eb8d5e8761912a6f1cb33b0 /tools/Makefile | |
parent | b08a1a2ed88af97a4688816d90063c319640862d (diff) | |
download | ocaml-f1adf551d42be4bddc8980a7b6b3aee68ca63e97.tar.gz |
tools/Makefile{,.nt,.shared}: merge.
Diffstat (limited to 'tools/Makefile')
-rw-r--r-- | tools/Makefile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/tools/Makefile b/tools/Makefile index c7da95d99a..7ab2f11f73 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -14,18 +14,3 @@ #************************************************************************** include Makefile.shared - -# To make custom toplevels - -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)/ocamlmktop$(EXE)" - -clean:: - rm -f ocamlmktop |