diff options
| author | Gordon Henriksen <gordonhenriksen@mac.com> | 2007-10-06 21:00:36 +0000 |
|---|---|---|
| committer | Gordon Henriksen <gordonhenriksen@mac.com> | 2007-10-06 21:00:36 +0000 |
| commit | c0491ac8b6c24a7d0db8c0a60f76cfb1d66f84ab (patch) | |
| tree | 2335af26193323e95020758c3a2c667bf63d207a /bindings/ocaml/Makefile.ocaml | |
| parent | d8be2154b38ea623f2320b26c9e1a40be0d0206b (diff) | |
| download | llvm-c0491ac8b6c24a7d0db8c0a60f76cfb1d66f84ab.tar.gz llvm-c0491ac8b6c24a7d0db8c0a60f76cfb1d66f84ab.tar.bz2 llvm-c0491ac8b6c24a7d0db8c0a60f76cfb1d66f84ab.tar.xz | |
Bindings for the verifier.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42707 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'bindings/ocaml/Makefile.ocaml')
| -rw-r--r-- | bindings/ocaml/Makefile.ocaml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/bindings/ocaml/Makefile.ocaml b/bindings/ocaml/Makefile.ocaml index 278b31ea32..fb03b1a3e2 100644 --- a/bindings/ocaml/Makefile.ocaml +++ b/bindings/ocaml/Makefile.ocaml @@ -10,6 +10,11 @@ # An ocaml library is a unique project type in the context of LLVM, so rules are # here rather than in Makefile.rules. # +# Reference materials on installing ocaml libraries: +# +# https://fedoraproject.org/wiki/Packaging/OCaml +# http://pkg-ocaml-maint.alioth.debian.org/ocaml_packaging_policy.txt +# ##===----------------------------------------------------------------------===## include $(LEVEL)/Makefile.config @@ -188,7 +193,6 @@ install-cma:: $(OutputCMA) $(Verb) $(MKDIR) $(PROJ_libocamldir) $(Verb) $(DataInstall) $(OutputCMA) "$(DestCMA)" $(Verb) for i in $(UsedLibNames); do \ - $(EchoCmd) "Installing $(BuildMode) $(PROJ_libocamldir)/$$i"; \ ln -sf "$(PROJ_libdir)/$$i" "$(PROJ_libocamldir)/$$i"; \ done @@ -196,7 +200,6 @@ uninstall-cma:: $(Echo) "Uninstalling $(DestCMA)" -$(Verb) $(RM) -f $(DestCMA) $(Verb) for i in $(UsedLibNames); do \ - $(EchoCmd) "Uninstalling $(PROJ_libocamldir)/$$i"; \ $(RM) -f "$(PROJ_libocamldir)/$$i"; \ done |