diff options
| author | Sylvain Le Gall <gildor@debian.org> | 2023-09-12 07:50:01 +0200 |
|---|---|---|
| committer | Stéphane Glondu <glondu@debian.org> | 2023-09-12 07:50:01 +0200 |
| commit | 57c74658e41f0c5f256d25d2f470c613ac9254f3 (patch) | |
| tree | ee7ece6ac9cd7292a733cc41b3f52e120ad3b85d | |
| parent | 20f303505a088bc0ea5a8487d5abc045e52a7c67 (diff) | |
Use system's libcamlidl.a
Gbp-Pq: Name 07_dll_with_camlidl.diff
| -rw-r--r-- | OCamlMakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/OCamlMakefile b/OCamlMakefile index 0d20314..eed3443 100644 --- a/OCamlMakefile +++ b/OCamlMakefile @@ -774,7 +774,7 @@ endif ifndef MSVC $(DLLSONAME): $(OBJ_LINK) $(CC) -shared $(CINCFLAGS) $(CLIBFLAGS) \ - -o $@ $(OBJ_LINK) $(CLIBS:%=-l%) + -o $@ $(OBJ_LINK) $(shell ocamlc -where)/libcamlidl.a $(CLIBS:%=-l%) endif $(RESULT).cma: $(REAL_IMPL_INTF) $(MAKEDLL) $(EXTRADEPS) $(RESULTDEPS) |