File tree 3 files changed +6
-2
lines changed
3 files changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -134,6 +134,7 @@ remove:
134
134
135
135
.PHONY : clean
136
136
clean :
137
+ rm -rf static_libs
137
138
dune clean
138
139
139
140
$(BUILT_C_FILES ) : _build/% .c: % .c
Original file line number Diff line number Diff line change 7
7
(library
8
8
(name hack_parallel)
9
9
(public_name hack_parallel)
10
- (c_library_flags -lhp )
10
+ (c_library_flags -L static_libs -l hp )
11
11
(libraries
12
12
str
13
13
core
Original file line number Diff line number Diff line change @@ -5,7 +5,10 @@ homepage: "https://github.com/rvantonder/hack-parallel"
5
5
bug-reports: "https://github.com/rvantonder/hack-parallel/issues"
6
6
dev-repo: "git+https://github.com/rvantonder/hack-parallel.git"
7
7
license: "MIT"
8
- build: ["dune" "build" "-p" name "-j" jobs "@install"]
8
+ build: [
9
+ [make "libhp.a"]
10
+ ["dune" "build" "-p" name "-j" jobs "@install"]
11
+ ]
9
12
depends: [
10
13
"core"
11
14
"ppx_deriving"
You can’t perform that action at this time.
0 commit comments