blob: 6db5015e1d9a91230c68569c60a7f51b8bfb3afa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
--- a/src/Makefile 2022-01-12 19:58:54.655901110 +0100
+++ b/src/Makefile 2022-01-12 19:59:25.446339664 +0100
@@ -33,11 +33,10 @@
all:: libnums.$(A) nums.cma
+ifeq "$(NATDYNLINK)" "true"
ifneq "$(ARCH)" "none"
all:: nums.cmxa
endif
-
-ifeq "$(NATDYNLINK)" "true"
all:: nums.cmxs
endif
@@ -70,10 +70,10 @@
# is installed via findlib
TOINSTALL=nums.cma libnums.$(A) $(CMIS) $(CMIS:.cmi=.mli) $(CMIS:.cmi=.cmti)
+ifeq "$(NATDYNLINK)" "true"
ifneq "$(ARCH)" "none"
TOINSTALL+=nums.cmxa nums.$(A) $(CMXS)
endif
-ifeq "$(NATDYNLINK)" "true"
TOINSTALL+=nums.cmxs
endif
ifeq "$(SUPPORTS_SHARED_LIBRARIES)" "true"
|
