Admin/polyml/NOTES
changeset 66998 8905114fd23b
parent 66846 c04f46a6f29d
child 67583 c933a5d4e1ee
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/polyml/NOTES	Fri Nov 03 22:36:32 2017 +0100
@@ -0,0 +1,19 @@
+Notes on building Poly/ML as Isabelle component
+===============================================
+
+* component skeleton:
+  $ isabelle build_polyml_component -s sha1 component
+
+* include full source (without symlink), for example:
+  $ wget https://github.com/polyml/polyml/archive/master.zip
+
+* libgmp on x86_64-darwin:
+
+  https://github.com/Homebrew/homebrew-core/blob/master/Formula/gmp.rb
+  https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz
+
+  ./configure --enable-cxx --build=core2-apple-darwin"$(uname -r)"
+  make check
+  make install
+
+  isabelle build_polyml -m64 -s sha1 src --with-gmp LDFLAGS='-L/usr/local/lib' CPPFLAGS='-O3 -I/usr/local/include'