diff options
| author | Hugo Herbelin | 2020-02-19 19:11:53 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-02-19 19:27:23 +0100 |
| commit | a61b3692918e37f21823fde7805ed28e017ebf78 (patch) | |
| tree | e65d60100df43ceb8383633690ded6115951c46c | |
| parent | fdcfe8b75be809fcce231a69cb756e1e23d50f93 (diff) | |
Remove the dependency in float.cmo and uint63.cmo for building votour.
This was useless since PR #11247 and is a cause of failure in bytecode
compilation on some exotic architectures (such as "armel").
| -rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 3c32e5bcc2..1b3d99c81d 100644 --- a/Makefile.build +++ b/Makefile.build @@ -536,7 +536,7 @@ $(FAKEIDEBYTE): $(FAKEIDECMO) | $(IDETOPBYTE) # votour: a small vo explorer (based on the checker) -VOTOURCMO:=clib/cObj.cmo kernel/uint63.cmo kernel/float64.cmo checker/analyze.cmo checker/values.cmo checker/votour.cmo +VOTOURCMO:=clib/cObj.cmo checker/analyze.cmo checker/values.cmo checker/votour.cmo bin/votour: $(call bestobj, $(VOTOURCMO)) $(LIBCOQRUN) $(SHOW)'OCAMLBEST -o $@' |