Re: [isabelle] Windows Command Line 2012



Jens,

Here's a batch file and bash file combination for a particular way I want to use the isabelle command. For this one, I set the jEdit command line option "-settings" so that this process of jEdit can have settings different than my main use of jEdit, but Isabelle gets the same home folder for any heaps that have been built.

You'd want to get rid of that, but just edit the batch file to set your environment, and edit the bash file to call whatever isabelle command you want, such as "isabelle jedit", "isabelle browser", "isabelle usedir -b", "isabelle getenv USER_HOME", etc.

Put a "pause" in your batch file if the command console is disappearing because isabelle terminates because of an error.

BATCH FILE: 12_jedit_set1.bat

::Cygwin uses this home
   set HOME=E:\E_main\02-p\pi\home
::Isabelle uses this home
   set USER_HOME=/cygdrive/e/E_main/02-p/pi/home
::Various
   set ISAVERSION=Isabelle2012
   set PATH=E:\E_main2\binp\%ISAVERSION%\bin;%PATH%
   set CHERE_INVOKING=true
::jEdit options, "-j -settings /path" will put and use jEdit settings in %USERPROFILE%\path
   set JEDITOPTIONS=-j -settings=/.isabelle/%ISAVERSION%/jedit1
E:\E_main2\binp\%ISAVERSION%\contrib\cygwin-1.7.9\bin\bash --login -i %~dp012_jedit_set1.bash


BASH FILE: 12_jedit_set1.bash

#!/usr/bin/env bash
#
########################################################
# $ISAVERSION is set in the batch file that calls this.
########################################################
printenv
/cygdrive/e/E_main2/binp/$ISAVERSION/bin/isabelle jedit $JEDITOPTIONS





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.