Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/polyml/build
changeset 62387 ad3eb2889f9a
parent 61181 b6b5e41d261b
child 63229 f951c624c1a1 
--- a/Admin/polyml/build	Mon Feb 22 22:44:37 2016 +0100
+++ b/Admin/polyml/build	Tue Feb 23 16:20:12 2016 +0100
@@ -80,7 +80,7 @@
   cd "$SOURCE"
   make distclean
 
-  { ./configure --prefix="$PWD/$TARGET" "${OPTIONS[@]}" "${USER_OPTIONS[@]}" && \
+  { ./configure --prefix="$PWD/$TARGET" "${OPTIONS[@]}" --enable-intinf-as-int "${USER_OPTIONS[@]}" && \
     make compiler && \
     make compiler && \
     make install; } || fail "Build failed"
isabelle