diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-02 09:15:25 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-02 09:15:25 +0000 |
| commit | e3c3f8b66a3c7ed28253f11b348b706d988306af (patch) | |
| tree | dc0071004de4dfba8bd8fa1534f7948daa8ada1a | |
| parent | bf49a7f780bed1e0084c8d5617bc20de999a2552 (diff) | |
test avant d'installer en opt
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4576 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | ocamldoc/Makefile | 3 | ||||
| -rw-r--r-- | ocamldoc/Makefile.nt | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 66d2583a6..b46ca362c 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -296,6 +296,9 @@ install: dummy $(CP) $(INSTALL_MLIS) $(INSTALL_CMIS) $(INSTALL_LIBDIR) installopt: + if test -f $(OCAMLDOC_OPT) ; then $(MAKE) installopt_really ; fi + +installopt_really: if test -d $(INSTALL_BINDIR); then : ; else $(MKDIR) $(INSTALL_BINDIR); fi if test -d $(INSTALL_LIBDIR); then : ; else $(MKDIR) $(INSTALL_LIBDIR); fi $(CP) $(OCAMLDOC_OPT) $(INSTALL_BINDIR) diff --git a/ocamldoc/Makefile.nt b/ocamldoc/Makefile.nt index a17c364cb..bd24ba297 100644 --- a/ocamldoc/Makefile.nt +++ b/ocamldoc/Makefile.nt @@ -294,6 +294,9 @@ install: dummy $(CP) $(INSTALL_MLIS) $(INSTALL_CMIS) $(INSTALL_LIBDIR) installopt: + if test -f $(OCAMLDOC_OPT) ; then $(MAKE_REC) installopt_really ; fi + +installopt_really: if test -d $(INSTALL_BINDIR); then : ; else $(MKDIR) $(INSTALL_BINDIR); fi if test -d $(INSTALL_LIBDIR); then : ; else $(MKDIR) $(INSTALL_LIBDIR); fi $(CP) $(OCAMLDOC_OPT) $(INSTALL_BINDIR) |