We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 55ffc15 commit c0f87c1Copy full SHA for c0f87c1
Makefile
@@ -8,7 +8,7 @@ default all: build
8
9
.PHONY: build
10
build:
11
- dune build
+ dune build -p ocsigenserver
12
${MAKE} -C src/server build
13
doc:
14
$(MAKE) -C doc
dune
@@ -7,6 +7,7 @@
7
(mode
(promote (until-clean)))
(target ocsigenserver.conf.sample)
+ (package ocsigenserver)
(action
(with-stdout-to
%{target}
0 commit comments