simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

[opam] Update opam file to add doc building

Browse source
This commit is contained in:
Guillaume Bury 2017-01-25 17:09:41 +01:00
parent dde54d2ea9
commit 733e71e332
2 changed files with 18 additions and 33 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

44
Makefile
View file

@ -7,18 +7,9 @@ DOC=src/msat.docdir/index.html
BIN=main.native
TEST_BIN=tests/test_api.native
NAME_OCAMLFIND=msat
NAME_BIN=msat
NAME_CORE=msat
#NAME_SAT=msat_sat
#NAME_SMT=msat_smt
#NAME_MCSAT=msat_mcsat
NAME=msat
LIB_CORE=$(addprefix $(NAME_CORE), .cma .cmxa .cmxs)
#LIB_SAT=$(addprefix $(NAME_SAT), .cma .cmxa .cmxs)
#LIB_SMT=$(addprefix $(NAME_SMT), .cma .cmxa .cmxs)
#LIB_MCSAT=$(addprefix $(NAME_MCSAT), .cma .cmxa .cmxs)
LIB=$(LIB_CORE) # $(LIB_SAT) $(LIB_SMT) $(LIB_MCSAT)
LIB=$(addprefix $(NAME), .cma .cmxa .cmxs)
all: lib test
@ -30,7 +21,7 @@ doc:
bin:
$(COMP) $(FLAGS) $(BIN)
cp $(BIN) $(NAME_BIN) && rm $(BIN)
cp $(BIN) $(NAME) && rm $(BIN)
test_bin:
$(COMP) $(FLAGS) $(TEST_BIN)
@ -48,33 +39,24 @@ enable_log:
disable_log:
cd src/util; ln -sf log_dummy.ml log.ml
log:
cat _build/$(LOG) || true
clean:
$(COMP) -clean
rm -rf $(NAME_BIN)
rm -rf $(NAME)
ALL_NAMES = $(NAME_CORE) # $(NAME_SAT) $(NAME_SMT) $(NAME_MCAT)
TO_INSTALL_LIB=$(addsuffix .a, $(ALL_NAMES)) \
$(addsuffix .cmi, $(ALL_NAMES))
TO_INSTALL_LIB=$(addsuffix .a, $(NAME)) $(addsuffix .cmi, $(NAME))
TO_INSTALL=META $(addprefix _build/src/,$(LIB) $(TO_INSTALL_LIB))
install: lib
ocamlfind install $(NAME_OCAMLFIND) $(TO_INSTALL)
ocamlfind install $(NAME) $(TO_INSTALL)
mkdir -p $(DOCDIR)
cp -v $(NAME).docdir/*.html $(NAME).docdir/*.css $(DOCDIR)
uninstall:
ocamlfind remove $(NAME_OCAMLFIND)
ocamlfind remove $(NAME)
reinstall: all
ocamlfind remove $(NAME_OCAMLFIND) || true
ocamlfind install $(NAME_OCAMLFIND) $(TO_INSTALL)
remove:
ocamlfind remove $(NAME) || true
watch:
while find src/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \
echo "============ at `date` ==========" ; \
sleep 0.1; \
make all; \
done
reinstall: | remove install
.PHONY: clean doc all bench install uninstall reinstall enable_log disable_log bin test
.PHONY: clean doc all bench install uninstall remove reinstall enable_log disable_log bin test

7
opam
View file

@ -8,11 +8,14 @@ build: [
[make "disable_log"]
[make "lib"]
]
build-doc: [
[make "doc"]
]
install: [
[make "install"]
[make "DOCDIR=%{msat:doc}%" "install"]
]
remove: [
["ocamlfind" "remove" "msat"]
[make "uninstall"]
]
depends: [
"ocamlfind" {build}