Re: [isabelle-dev] Poly/ML 5.7

2017-05-15 Thread Lawrence Paulson
Version 5.7 doesn’t even build on my main workstation, though it works on my MacBook Pro running broadly similar software. No idea what is going on here, but I’m not happy about it. Larry > On 15 May 2017, at 11:14, Makarius wrote: > > David Matthews has made the Poly/ML

[isabelle-dev] Poly/ML 5.7

2017-05-15 Thread Makarius
David Matthews has made the Poly/ML 5.7 release snapshot some weeks ago (see https://github.com/polyml/polyml/releases/tag/v5.7), but announced it only last week. I have wrapped that up as a component in Isabelle/d3c5898f1a5e, but that is only for testing, not for production use. Some results can

Re: [isabelle-dev] Uses of Jenkins at TUM

2017-05-15 Thread Makarius
On 25/04/17 09:41, Mathias Fleury wrote: > >> What is good about it? > (I don't remember enough of the previous system to compare it to Jenkins.) Lets go back to some points on this thread, now that I have finished more implementation work. > * automatic testing (I have forgotten to add

Re: [isabelle-dev] Poly/ML 5.7

2017-05-15 Thread Makarius
On 15/05/17 14:24, Makarius wrote: > On 15/05/17 12:29, Lawrence Paulson wrote: >> Version 5.7 doesn’t even build on my main workstation, though it works >> on my MacBook Pro running broadly similar software. No idea what is >> going on here, but I’m not happy about it. > > There are already some

Re: [isabelle-dev] Poly/ML 5.7

2017-05-15 Thread Makarius
On 15/05/17 12:14, Makarius wrote: > Some results can be seen here: > > http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux/index.html > http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux_2_threads/index.html > > The test hardware is similar or actually the same as "Linux

Re: [isabelle-dev] Poly/ML 5.7

2017-05-15 Thread Makarius
On 15/05/17 12:29, Lawrence Paulson wrote: > Version 5.7 doesn’t even build on my main workstation, though it works > on my MacBook Pro running broadly similar software. No idea what is > going on here, but I’m not happy about it. There are already some mail threads on the Poly/ML list, where

[isabelle-dev] NEWS: SQL database access in Isabelle/Scala

2017-05-15 Thread Makarius
*** System *** * Isabelle/Scala: the SQL module supports access to relational databases, either as plain file (SQLite) or full-scale server (PostgreSQL via local port or remote ssh connection). * Results of "isabelle build" are recorded as SQLite database (i.e. "Application File Format" in the