Commit | Line | Data |
---|---|---|
ec9d9325 JL |
1 | From b5314c20d8e3caf62fe0dc96ad937a2950158b23 Mon Sep 17 00:00:00 2001 |
2 | From: Louis Gesbert <louis.gesbert@ocamlpro.com> | |
3 | Date: Thu, 2 Mar 2017 12:19:56 +0100 | |
4 | Subject: [PATCH] Install mli, cmx, etc. | |
5 | ||
6 | --- | |
7 | Makefile | 26 +++++++++++++------------- | |
8 | 1 file changed, 13 insertions(+), 13 deletions(-) | |
9 | ||
10 | diff --git a/Makefile b/Makefile | |
11 | index 09464ff..5044d7f 100644 | |
12 | --- a/Makefile | |
13 | +++ b/Makefile | |
14 | @@ -56,7 +56,7 @@ $(DOSELIBS)/cudf.%: | |
15 | @for i in _build/cudf/cudf.*; do \ | |
16 | if [ -e $$i ]; then \ | |
17 | cp $$i $(DOSELIBS) ; \ | |
18 | - rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ | |
19 | + rm -f $(DOSELIBS)/*.mlpack ; \ | |
20 | fi ; \ | |
21 | done | |
22 | ||
23 | @@ -67,7 +67,7 @@ $(DOSELIBS)/common.%: common/*.ml common/*.mli | |
24 | if [ -e $$i ]; then \ | |
25 | cp $$i $(DOSELIBS) ; \ | |
26 | rm $$i ;\ | |
27 | - rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ | |
28 | + rm -f $(DOSELIBS)/*.mlpack ; \ | |
29 | fi ; \ | |
30 | done | |
31 | ||
32 | @@ -78,7 +78,7 @@ $(DOSELIBS)/versioning.%: versioning/*.ml versioning/*.mli | |
33 | if [ -e $$i ]; then \ | |
34 | cp $$i $(DOSELIBS) ; \ | |
35 | rm $$i ;\ | |
36 | - rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ | |
37 | + rm -f $(DOSELIBS)/*.mlpack ; \ | |
38 | fi ; \ | |
39 | done | |
40 | ||
41 | @@ -88,7 +88,7 @@ $(DOSELIBS)/algo.%: algo/*.ml algo/*.mli $(DOSELIBS)/common.% | |
42 | if [ -e $$i ]; then \ | |
43 | cp $$i $(DOSELIBS) ; \ | |
44 | rm $$i ;\ | |
45 | - rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ | |
46 | + rm -f $(DOSELIBS)/*.mlpack ; \ | |
47 | fi ; \ | |
48 | done | |
49 | ||
50 | @@ -98,7 +98,7 @@ $(DOSELIBS)/debian.%: deb/*.ml deb/*.mli $(DOSELIBS)/pef.% | |
51 | if [ -e $$i ]; then \ | |
52 | cp $$i $(DOSELIBS) ; \ | |
53 | rm $$i ;\ | |
54 | - rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ | |
55 | + rm -f $(DOSELIBS)/*.mlpack ; \ | |
56 | fi ; \ | |
57 | done | |
58 | ||
59 | @@ -108,7 +108,7 @@ $(DOSELIBS)/opam.%: opam/*.ml opam/*.mli $(DOSELIBS)/pef.% | |
60 | if [ -e $$i ]; then \ | |
61 | cp $$i $(DOSELIBS) ; \ | |
62 | rm $$i ;\ | |
63 | - rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ | |
64 | + rm -f $(DOSELIBS)/*.mlpack ; \ | |
65 | fi ; \ | |
66 | done | |
67 | ||
68 | @@ -118,7 +118,7 @@ $(DOSELIBS)/npm.%: npm/*.ml npm/*.mli $(DOSELIBS)/versioning.% $(DOSELIBS)/pef.% | |
69 | if [ -e $$i ]; then \ | |
70 | cp $$i $(DOSELIBS) ; \ | |
71 | rm $$i ;\ | |
72 | - rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ | |
73 | + rm -f $(DOSELIBS)/*.mlpack ; \ | |
74 | fi ; \ | |
75 | done | |
76 | ||
77 | @@ -128,7 +128,7 @@ $(DOSELIBS)/rpm.%: rpm/*.ml $(DOSELIBS)/algo.% | |
78 | if [ -e $$i ]; then \ | |
79 | cp $$i $(DOSELIBS) ; \ | |
80 | rm $$i ;\ | |
81 | - rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ | |
82 | + rm -f $(DOSELIBS)/*.mlpack ; \ | |
83 | fi ; \ | |
84 | done | |
85 | ||
86 | @@ -138,7 +138,7 @@ $(DOSELIBS)/pef.%: pef/*.ml pef/*.mli | |
87 | if [ -e $$i ]; then \ | |
88 | cp $$i $(DOSELIBS) ; \ | |
89 | rm $$i ;\ | |
90 | - rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ | |
91 | + rm -f $(DOSELIBS)/*.mlpack ; \ | |
92 | fi ; \ | |
93 | done | |
94 | ||
95 | @@ -148,7 +148,7 @@ $(DOSELIBS)/csw.%: opencsw/*.ml $(DOSELIBS)/versioning.% | |
96 | if [ -e $$i ]; then \ | |
97 | cp $$i $(DOSELIBS) ; \ | |
98 | rm $$i ;\ | |
99 | - rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ | |
100 | + rm -f $(DOSELIBS)/*.mlpack ; \ | |
101 | fi ; \ | |
102 | done | |
103 | ||
104 | @@ -158,7 +158,7 @@ $(DOSELIBS)/doseparse.%: $(DOSELIBS)/pef.% $(DOSELIBS)/debian.% | |
105 | if [ -e $$i ]; then \ | |
106 | cp $$i $(DOSELIBS) ; \ | |
107 | rm $$i ;\ | |
108 | - rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx $(DOSELIBS)/*.ml ; \ | |
109 | + rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.ml ; \ | |
110 | fi ; \ | |
111 | done | |
112 | ||
113 | @@ -168,7 +168,7 @@ $(DOSELIBS)/doseparseNoRpm.%: $(DOSELIBS)/pef.% $(DOSELIBS)/debian.% | |
114 | if [ -e $$i ]; then \ | |
115 | cp $$i $(DOSELIBS) ;\ | |
116 | rm $$i ;\ | |
117 | - rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ;\ | |
118 | + rm -f $(DOSELIBS)/*.mlpack ;\ | |
119 | fi ; \ | |
120 | done | |
121 | ||
122 | @@ -223,7 +223,7 @@ INSTALL_STUFF_ = META | |
123 | INSTALL_STUFF_ += $(wildcard _build/doselibs/*.cma _build/doselibs/*.cmi) | |
124 | INSTALL_STUFF_ += $(wildcard _build/doselibs/*.cmxa _build/doselibs/*.cmxs) | |
125 | INSTALL_STUFF_ += $(wildcard _build/doselibs/*.a) | |
126 | -#INSTALL_STUFF_ += $(wildcard _build/*/*.mli) | |
127 | +INSTALL_STUFF_ += $(wildcard _build/doselibs/*.mli) $(wildcard _build/doselibs/*.cmti) $(wildcard _build/doselibs/*.cmx) | |
128 | INSTALL_STUFF_ += $(wildcard _build/rpm/*.so) | |
129 | ||
130 | exclude_cudf = $(wildcard _build/doselibs/*cudf* _build/cudf/*) | |
131 | -- | |
132 | 2.11.0 | |
133 |