diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2002-04-26 13:32:47 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2002-04-26 13:32:47 +0000 |
| commit | 30d618e98b471340e73d7fc23da739d871fc3a32 (patch) | |
| tree | 1abec3623e9d5db8af386d248418152358b22642 /ocamldoc | |
| parent | fc4919328c245e60434135e72a6a703c04e38ac5 (diff) | |
Faire marcher ocamldoc non installe avec et sans DLLs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4748 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc')
| -rw-r--r-- | ocamldoc/Makefile | 2 | ||||
| -rw-r--r-- | ocamldoc/runocamldoc | 11 |
2 files changed, 12 insertions, 1 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 6a1e4b845..7f76a1906 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -32,7 +32,7 @@ OCAMLPP=-pp 'grep -v DEBUG' MKDIR=mkdir -p CP=cp -f OCAMLDOC=ocamldoc -OCAMLDOC_RUN=$(CAMLRUN) -I ../otherlibs/unix -I ../otherlibs/str ./$(OCAMLDOC) +OCAMLDOC_RUN=sh ./runocamldoc $(SUPPORTS_SHARED_LIBRARIES) OCAMLDOC_OPT=$(OCAMLDOC).opt OCAMLDOC_LIBCMA=odoc_info.cma OCAMLDOC_LIBCMI=odoc_info.cmi diff --git a/ocamldoc/runocamldoc b/ocamldoc/runocamldoc new file mode 100644 index 000000000..0f6878f14 --- /dev/null +++ b/ocamldoc/runocamldoc @@ -0,0 +1,11 @@ +#!/bin/sh + +case "$1" in + true) shift + exec ../ocamlrun -I ../otherlibs/unix -I ../otherlibs/str ./ocamldoc $* + ;; + *) shift + exec ./ocamldoc $* + ;; +esac +
\ No newline at end of file |