Skip to content

Commit

Permalink
Fix makefile blunder
Browse files Browse the repository at this point in the history
  • Loading branch information
@NatKarmios
NatKarmios committed Jul 16, 2024
1 parent 9cdc8eb commit 620e182
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ build:
dune build @all

deps:
dune build gillian.opam wisl.opam gillian-js.opam gillian-c.opam kanillian.opam
opam exec -- dune build gillian.opam wisl.opam gillian-js.opam gillian-c.opam kanillian.opam
opam install . -y --deps-only

init-dev:
Expand Down

0 comments on commit 620e182

Please sign in to comment.