26 lines
660 B
Diff
26 lines
660 B
Diff
|
From be04b106f9af418fc623f44477569e74d61cf6a7 Mon Sep 17 00:00:00 2001
|
||
|
From: "Richard W.M. Jones" <rjones@redhat.com>
|
||
|
Date: Wed, 20 May 2020 11:32:50 +0100
|
||
|
Subject: [PATCH 2/2] Pass -g option to ocamlmklib.
|
||
|
|
||
|
---
|
||
|
runtime/Makefile.unix | 2 +-
|
||
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
||
|
|
||
|
diff --git a/runtime/Makefile.unix b/runtime/Makefile.unix
|
||
|
index 6ee4812..039e085 100644
|
||
|
--- a/runtime/Makefile.unix
|
||
|
+++ b/runtime/Makefile.unix
|
||
|
@@ -18,7 +18,7 @@ all: dllcamlidl.so libcamlidl.a
|
||
|
|
||
|
dllcamlidl.so libcamlidl.a: $(OBJS)
|
||
|
- rm -f $@
|
||
|
- ocamlmklib -o camlidl $(OBJS)
|
||
|
+ ocamlmklib -g -o camlidl $(OBJS)
|
||
|
|
||
|
#libcamlidl.a: $(OBJS)
|
||
|
# - rm -f $@
|
||
|
--
|
||
|
2.26.2
|
||
|
|