diff options
| author | Maxime Dénès <mail@maximedenes.fr> | 2020-02-25 08:30:04 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-25 08:30:04 +0100 |
| commit | dfbf0a5674ae1ab0dc68c15ae4b5df8cc439b741 (patch) | |
| tree | cea80ba12ed6d94e84de6e288171bf25a287d0e4 | |
| parent | 82fd19bc1c16782649c741548edb0649522ff900 (diff) | |
| download | smtcoq-dfbf0a5674ae1ab0dc68c15ae4b5df8cc439b741.tar.gz smtcoq-dfbf0a5674ae1ab0dc68c15ae4b5df8cc439b741.zip | |
Search correctly for `num` library (#60)
We fix the way SMTCoq searches for the num library, both when building
and when generating .merlin.
| -rw-r--r-- | src/versions/standard/Makefile.local | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/versions/standard/Makefile.local b/src/versions/standard/Makefile.local index 045af88..a5fad33 100644 --- a/src/versions/standard/Makefile.local +++ b/src/versions/standard/Makefile.local @@ -22,6 +22,10 @@ clean:: CAMLLEX = $(CAMLBIN)ocamllex CAMLYACC = $(CAMLBIN)ocamlyacc +CAMLPKGS += -package num + +merlin-hook:: + $(HIDE)echo 'PKG num' >> .merlin %.ml : %.mll $(CAMLLEX) $< |