1
- # This Makefile uses ocamlbuild but does not rely on ocamlfind or the Opam
1
+ # This Makefile uses dune but does not rely on ocamlfind or the Opam
2
2
# package manager to build. However, Opam package management is available
3
3
# optionally through the check/install/uninstall targets.
4
4
#
@@ -15,10 +15,9 @@ OPT = $(NAME)
15
15
LIB = $(NAME )
16
16
ZIP = $(NAME ) .zip
17
17
JSLIB = wast
18
- WINMAKE = winmake.bat
19
18
20
19
DIRS = util syntax binary text valid runtime exec script host main tests
21
- LIBS =
20
+ LIBS =
22
21
FLAGS = -lexflags -ml -cflags '-w +a-4-27-42-44-45-70 -warn-error +a-3'
23
22
OCBA = ocamlbuild $(FLAGS ) $(DIRS:%=-I % )
24
23
OCB = $(OCBA ) $(LIBS:%=-libs % )
@@ -28,7 +27,7 @@ JS = # set to JS shell command to run JS tests, empty to skip
28
27
29
28
# Main targets
30
29
31
- .PHONY : default opt unopt libopt libunopt jslib all land zip smallint dunebuild
30
+ .PHONY : default opt unopt libopt libunopt jslib all zip smallint dunebuild
32
31
33
32
default : opt
34
33
debug : unopt
@@ -38,10 +37,9 @@ libopt: _build/$(LIB).cmx _build/$(LIB).cmxa
38
37
libunopt : _build/$(LIB ) .cmo _build/$(LIB ) .cma
39
38
jslib : $(JSLIB ) .js
40
39
all : unopt opt libunopt libopt test
41
- land : $(WINMAKE ) all
42
- zip : $(ZIP )
40
+ zip : $(ZIP )
43
41
smallint : smallint.native
44
- ci : land jslib dunebuild
42
+ ci : all jslib dunebuild
45
43
46
44
dunebuild :
47
45
dune build
@@ -121,20 +119,6 @@ $(JSLIB).byte: $(JSLIB_DIR)/$(JSLIB).ml
121
119
$( JSLIB) .js: $( JSLIB) .byte
122
120
$( JSO) $<
123
121
124
- # Building Windows build file
125
-
126
- $( WINMAKE) : clean
127
- echo rem Auto-generated from Makefile! > $@
128
- echo set NAME=$( NAME) >> $@
129
- echo if \' %1\' neq \'\' set NAME=%1 >> $@
130
- $( OCB) main.byte \
131
- | grep -v ocamldep \
132
- | grep -v mkdir \
133
- | sed s:` which ocaml` :ocaml:g \
134
- | sed s:main/main.d.byte:%NAME%.exe: \
135
- >> $@
136
-
137
-
138
122
# Executing test suite
139
123
140
124
TESTDIR = ../test/core
@@ -182,8 +166,8 @@ dunetest:
182
166
183
167
.PHONY: clean
184
168
185
- $( ZIP) : $( WINMAKE )
186
- git archive --format=zip --prefix=$( NAME) / -o $@ HEAD
169
+ $( ZIP) :
170
+ git archive --format=zip --prefix=$( NAME) / -o $@ HEAD
187
171
188
172
clean:
189
173
rm -rf _build/jslib $( LIB) .mlpack _tags $( JSLIB) .js
0 commit comments