From bb8da1d5b5f59112d31fb98e763f4cd40a874f2c Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Wed, 30 Oct 2019 11:21:24 +0100
Subject: Makefile.build: Fix rules of bin/votour{,.byte}

---
 Makefile.build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile.build')

diff --git a/Makefile.build b/Makefile.build
index 90b3408d79..b63d582740 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -570,11 +570,11 @@ VOTOURCMO:=clib/cObj.cmo kernel/uint63.cmo kernel/float64.cmo checker/analyze.cm
 
 bin/votour: $(call bestobj, $(VOTOURCMO)) $(LIBCOQRUN)
 	$(SHOW)'OCAMLBEST -o $@'
-	$(HIDE)$(call bestocaml, -I checker -cclib -lcoqrun) $(VMBYTEFLAGS)
+	$(HIDE)$(call bestocaml, -I checker)
 
 bin/votour.byte: $(VOTOURCMO) $(LIBCOQRUN)
 	$(SHOW)'OCAMLC -o $@'
-	$(HIDE)$(call ocamlbyte, -I checker -cclib -lcoqrun) $(VMBYTEFLAGS)
+	$(HIDE)$(call ocamlbyte, -I checker $(VMBYTEFLAGS))
 
 ###########################################################################
 # Csdp to micromega special targets
-- 
cgit v1.2.3