From d7bd04208c20c41f6cb7fd4b3996d2c583ab5bde Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 3 Feb 2003 10:12:56 +0000
Subject: -reals all

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3655 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/RH/do_build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/distrib/RH/do_build b/distrib/RH/do_build
index 069a81c205..c39ec1b538 100644
--- a/distrib/RH/do_build
+++ b/distrib/RH/do_build
@@ -1,2 +1,2 @@
-./configure -bindir /usr/bin -libdir /usr/lib/coq -mandir /usr/man -emacs emacs -emacslib /usr/share/emacs/site-lisp -opt         # Need ocamlc.opt and ocamlopt.opt
+./configure -bindir /usr/bin -libdir /usr/lib/coq -mandir /usr/man -emacs emacs -emacslib /usr/share/emacs/site-lisp -opt -reals all        # Need ocamlc.opt and ocamlopt.opt
 make world check      # Use native coq to compile theories
-- 
cgit v1.2.3