diff options
Diffstat (limited to 'src/_CoqProject')
| -rw-r--r-- | src/_CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/_CoqProject b/src/_CoqProject index 2a883c8..9ac5799 100644 --- a/src/_CoqProject +++ b/src/_CoqProject @@ -9,6 +9,8 @@ ######################################################################## ## To generate the Makefile: ## ## coq_makefile -f Make -o Makefile ## +## sed -i 's/^CAMLDONTLINK=unix,str$/CAMLDONTLINK=num,str,unix,dynlink,threads/' Makefile ## +## WARNING: DO NOT FORGET THE SECOND LINE (see PR#62) ## ######################################################################## |