diff options
author | ckeller <ckeller@users.noreply.github.com> | 2020-02-27 09:28:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-27 09:28:50 +0100 |
commit | c296b2d06a70f1603916a2450ce49f6c98270a39 (patch) | |
tree | 4ee9b079d4e87cadcef57aecb7c0d03f034b8ade /src | |
parent | dfbf0a5674ae1ab0dc68c15ae4b5df8cc439b741 (diff) | |
download | smtcoq-c296b2d06a70f1603916a2450ce49f6c98270a39.tar.gz smtcoq-c296b2d06a70f1603916a2450ce49f6c98270a39.zip |
Revert "Search correctly for `num` library (#60)" (#61)
This reverts commit dfbf0a5674ae1ab0dc68c15ae4b5df8cc439b741.
Diffstat (limited to 'src')
-rw-r--r-- | src/versions/standard/Makefile.local | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/versions/standard/Makefile.local b/src/versions/standard/Makefile.local index a5fad33..045af88 100644 --- a/src/versions/standard/Makefile.local +++ b/src/versions/standard/Makefile.local @@ -22,10 +22,6 @@ clean:: CAMLLEX = $(CAMLBIN)ocamllex CAMLYACC = $(CAMLBIN)ocamlyacc -CAMLPKGS += -package num - -merlin-hook:: - $(HIDE)echo 'PKG num' >> .merlin %.ml : %.mll $(CAMLLEX) $< |