From a61b3692918e37f21823fde7805ed28e017ebf78 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 19 Feb 2020 19:11:53 +0100
Subject: 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").
---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 $@'
-- 
cgit v1.2.3