43 lines
1.2 KiB
Diff
43 lines
1.2 KiB
Diff
From 15f870dee4dffb64450a79556684309cb960264a Mon Sep 17 00:00:00 2001
|
|
From: "Richard W.M. Jones" <rjones@redhat.com>
|
|
Date: Wed, 8 Nov 2017 22:16:59 +0000
|
|
Subject: [PATCH 3/3] src: Add -g flag to mklib.
|
|
|
|
---
|
|
src/Makefile | 8 ++++----
|
|
1 file changed, 4 insertions(+), 4 deletions(-)
|
|
|
|
diff --git a/src/Makefile b/src/Makefile
|
|
index cff37f8..3a8f445 100644
|
|
--- a/src/Makefile
|
|
+++ b/src/Makefile
|
|
@@ -45,13 +45,13 @@ all:: nums.cmxs
|
|
endif
|
|
|
|
libnums.$(A): $(COBJS)
|
|
- $(OCAMLMKLIB) -oc nums $(COBJS)
|
|
+ $(OCAMLMKLIB) -g -oc nums $(COBJS)
|
|
|
|
nums.cma: $(CMOS)
|
|
- $(OCAMLMKLIB) -o nums -oc nums -linkall $(CMOS)
|
|
+ $(OCAMLMKLIB) -g -o nums -oc nums -linkall $(CMOS)
|
|
|
|
nums.cmxa: $(CMXS)
|
|
- $(OCAMLMKLIB) -o nums -oc nums -linkall $(CMXS)
|
|
+ $(OCAMLMKLIB) -g -o nums -oc nums -linkall $(CMXS)
|
|
|
|
nums.cmxs: nums.cmxa libnums.$(A)
|
|
$(OCAMLOPT) $(CAMLOPTFLAGS) -I . -shared -o nums.cmxs nums.cmxa
|
|
@@ -68,7 +68,7 @@ nat_stubs.$(O): bng.h nat.h
|
|
%.cmx: %.ml
|
|
$(OCAMLOPT) $(CAMLOPTFLAGS) -c $*.ml
|
|
%.$(O): %.c
|
|
- $(OCAMLC) -ccopt -DBNG_ARCH_$(BNG_ARCH) -c $*.c
|
|
+ $(OCAMLC) -g -ccopt -DBNG_ARCH_$(BNG_ARCH) -c $*.c
|
|
|
|
# Legacy installation: files go into OCaml's stdlib directory; only META
|
|
# is installed via findlib
|
|
--
|
|
2.13.1
|
|
|