Isabelle HOL on Windows 10 -
i installed windows 10 (64bit). since then, isabelle hol no longer starting, after re-installation (which ran through smoothly). error message following: "startup error: error starting java vm". happens 2 versions tested (2013-2 , 2015). jvm.dll specified in configuration file, exists in right folder. additionally, have installed java sdk in newest version (8.51) in both, 32bit , 64bit. there known compatibility problem windows 10? isabelle used work windows 7 , 8. thank you help.
update (150822)
from developer's mailing list, there's link test release:
that's working different isabelle2015, in how things paths, might find things needs windows 10, or may not. however, if works, there may incompatibilities isabelle2015 (in theorem proving).
regardless, isabelle gets released 1 2 times year, , wouldn't expect special released windows 10 within 4 6 months. links above, though, show m.wenzel can package test release, operates on user's mailing list.
in batch file below, set homedrive , homepath, don't need if want .isabelle in c:\user.
in test release, settings don't affect home path. appears user_home used, though setting of user_home doesn't make batch file work test release.
anyway, test release has changed way works discover things, , accomodates windows more, shown new behaviour of function file.platform_path.
it's working different enough, , requires enough changes, should stay isabelle2015, or i'll out of sync official release.)
original
(zeroeth: problems hashed out on mailing list, go ahead show how start isabelle using batch file, started doing before had start doing it.)
first, java isabelle uses in folder:
isabelle2015\contrib\jdk\x86-cygwin\jre doing normal java install windows not going change java isabelle uses.
below, give batch file , bash file start isabelle/jedit, alternative using isabelle2015\isabelle2015.exe.
for myself, i've done manually replace 32-bit jre folder shown above jre in jre-8u45-windows-x64.tar.gz. (i renamed old 32-bit folder. recent java tar files can found at download page.)
consequently, if try start isabelle isabelle2015.exe, popup says, "startup error, error starting java vm", starting isabelle batch/bash combination works me on windows 8.1.
what show below may not fix problem, guess isabelle2015.exe has info os work right, , maybe that's changed windows 10:
https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2014-december/msg00033.html
you put batch , bash file below in folder have or want .isabelle folder. change isahome below isabelle distribution is. path needs cygwin bin in path, , path isabelle, set in batch file.
file: start-isabelle.bat
:: isabelle2015.exe uses these directly. setting home or user_home doesn't work set homedrive=%~d0 set homepath=%~p0 :: cygwin uses home, , how home set in cygwin-terminal.bat set home=%homedrive%%homepath% :: add paths: 'cygwin/bin' start terminal, 'isabelle2015/bin' 'isabelle' set isahome=e:\e_2\d ev\isabelle2015 set path=%path%;%isahome%/contrib/cygwin/bin;%isahome%/bin; set chere_invoking=true ::mintty console start /min mintty.exe -i /cygwin-terminal.ico "%~dp0start-isabelle.bash" :: regular windows console ::bash --login -i "%~dp0start-isabelle.bash" file: start-isabelle.bash
#!/usr/bin/env bash # isabelle jedit -l hol with 64-bit java, can increase size of memory isabelle uses, making change in .isabelle\isabelle2015\etc\settings:
jedit_java_options="-xms1g -xmx4g -xss4m" or jedit_java_options="-xms1024m -xmx4096m -xss4m" with 32-bit java, when that, isabelle start terminate.
Comments
Post a Comment