WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Commit a0a8686

Browse files
committed
[spectec] Install opam dependencies automatically
1 parent 67b6fe2 commit a0a8686

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

spectec/Makefile

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,10 +23,15 @@ ROOTDIR = ..
2323
INTERPRETERDIR = $(ROOTDIR)/interpreter
2424
CLONEDIR = src/backend-interpreter/reference-interpreter
2525
CLONERM = dune-project jslib
26+
OPAMPACKAGES = zarith menhir
27+
2628

2729
.PHONY: exe
2830

29-
exe: $(CLONEDIR)
31+
packages:
32+
opam install $(OPAMPACKAGES)
33+
34+
exe: $(CLONEDIR) packages
3035
rm -f ./$(NAME)
3136
dune build $(SRCDIR)/$(EXE)
3237
ln -f $(OUTDIR)/$(EXE) ./$(NAME)

0 commit comments

Comments
 (0)