diff options
| author | Maxime Dénès | 2017-12-27 10:19:21 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-12-27 10:19:21 +0100 |
| commit | 4969f9425cb0d5cd5bd735110886a0cbd2641588 (patch) | |
| tree | 6c05276df78dd476642ab5db8437e8730d19eb56 /Makefile.checker | |
| parent | 3921ff2e2c189063ec46f54cbb247570b6c59b2c (diff) | |
| parent | 5ffa147bd2fe548df3ac9053fe497d0871a5f6df (diff) | |
Merge PR #6444: [lib] Split auxiliary libraries into Coq-specific and general.
Diffstat (limited to 'Makefile.checker')
| -rw-r--r-- | Makefile.checker | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.checker b/Makefile.checker index 7e0f588759..5b5855782f 100644 --- a/Makefile.checker +++ b/Makefile.checker @@ -20,7 +20,7 @@ CHICKEN:=bin/coqchk$(EXE) # The sources -CHKLIBS:= -I config -I lib -I checker +CHKLIBS:= -I config -I clib -I lib -I checker ## NB: currently, both $(OPTFLAGS) and $(BYTEFLAGS) contain -thread |