diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-06-24 00:46:50 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-24 00:46:50 +0200 |
commit | f3aca2376fd8797cbdacf66840abf3a182c0f950 (patch) | |
tree | ad429a0cf6a054d29b53433e1831364f9049f7d0 /otherlibs/Makefile | |
parent | 6380e26a52b6f459b2ba1da1e013a1755c6ad52e (diff) | |
parent | 810c924dba91b5a9bd40063f5e6b80db439be521 (diff) | |
download | ocaml-f3aca2376fd8797cbdacf66840abf3a182c0f950.tar.gz |
Merge pull request #1821 from gasche/makefiles-consistent-opt-targets
Makefiles: consistently offer `allopt` and `opt.opt` targets
Diffstat (limited to 'otherlibs/Makefile')
-rw-r--r-- | otherlibs/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index 20fddc3ae2..584eb1c9d0 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -60,9 +60,11 @@ CMIFILES ?= $(CAMLOBJS:.cmo=.cmi) CAMLOBJS_NAT ?= $(CAMLOBJS:.cmo=.cmx) CLIBNAME ?= $(LIBNAME) +.PHONY: all allopt opt.opt # allopt and opt.opt are synonyms all: lib$(CLIBNAME).$(A) $(LIBNAME).cma $(CMIFILES) allopt: lib$(CLIBNAME).$(A) $(LIBNAME).cmxa $(LIBNAME).$(CMXS) $(CMIFILES) +opt.opt: allopt $(LIBNAME).cma: $(CAMLOBJS) $(MKLIB) -o $(LIBNAME) -oc $(CLIBNAME) -ocamlc '$(CAMLC)' -linkall \ |