Files

tools-poly

Michael Norrish

Print diagnostic about value of Int.maxInt in configure's output

Mar 9, 2021

9bceeb0 · Mar 9, 2021

This branch is 2855 commits behind HOL-Theorem-Prover/HOL:master.

Name		Name	Last commit message	Last commit date
parent directory ..
Holmake		Holmake	Properly isolate PolyML magic so Holmake/build compile w/mlton again	May 15, 2019
poly		poly	Add a useScript entry point to QUse that forces "interactive" mode	Feb 19, 2020
build.sml		build.sml	If build has no -j option, don't pass one to Holmake	Jan 17, 2021
buildheap.ML		buildheap.ML	Fix Holmake regressions arising from `b03aecf`	May 20, 2019
configure.sml		configure.sml	Print diagnostic about value of Int.maxInt in configure's output	Mar 9, 2021
execompile.ML		execompile.ML	Make buildheap preserve temporary files when --dbg flag is set	Oct 5, 2018
heapname.ML		heapname.ML	Reduce and prettify Holmake's recursive invocation verbiage	Mar 6, 2018
holinteractive.ML		holinteractive.ML	Isolate HOL_Interactive's implementation for possible re-use	Feb 1, 2019
holrepl.ML		holrepl.ML	Cope with Poly/ML that uses intinf as its int representation	Mar 9, 2021
makefile.muddy.src		makefile.muddy.src	PolyML compatibility. See tools-poly/README.	Apr 17, 2008
poly-build.ML		poly-build.ML	Update Holmake to cope with Theory.dat files	Aug 22, 2017
prelude.ML		prelude.ML	Install a reverse lookup facility in DB	May 25, 2020
prelude2.ML		prelude2.ML	Move DefnBase to src/coretypes, make progress with one_line_ify	Jan 10, 2020
rebuild-excludes.txt		rebuild-excludes.txt	Implement very simple tool to set mtime	Nov 28, 2017
smart-configure.sml		smart-configure.sml	Set up Poly/ML configure so that POLY_LDFLAGS can be overridden	Jan 3, 2020