isabelle: etc/settings@9fc4e144693c (annotated)

24211 213215a8640a added jEdit mode spec; wenzelm parents: 23917 diff changeset	1	# -- shell-script -- :mode=shellscript:
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	2	#
54937 ce4bf91331e7 misc tuning and clarification; wenzelm parents: 54935 diff changeset	3	# Isabelle system settings.
16875 c62bdfbf6a2a retract accidental user commit; wenzelm parents: 16873 diff changeset	4	#
c62bdfbf6a2a retract accidental user commit; wenzelm parents: 16873 diff changeset	5	# Important notes:
47173 08d1724a63e4 updated comments; wenzelm parents: 47113 diff changeset	6	# * See the "system" manual for explanations on Isabelle settings
54937 ce4bf91331e7 misc tuning and clarification; wenzelm parents: 54935 diff changeset	7	# * User settings go into $ISABELLE_HOME_USER/etc/settings
16875 c62bdfbf6a2a retract accidental user commit; wenzelm parents: 16873 diff changeset	8	# * DO NOT EDIT the repository copy of this file!
54937 ce4bf91331e7 misc tuning and clarification; wenzelm parents: 54935 diff changeset	9	# * DO NOT COPY this file into the $ISABELLE_HOME_USER directory!
2309 390c1b6baaa5 added ISAMODE_HOME; wenzelm parents: 2294 diff changeset	10
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	11	###
52790 6150cf05f729 tuned comments; wenzelm parents: 52746 diff changeset	12	### Isabelle/Scala
27906 df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	13	###
df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	14
65531 24544e3f183d more uniform isabelle_scala; wenzelm parents: 64902 diff changeset	15	ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -Xmax-classfile-name 130 -J-Xms128m -J-Xmx1024m -J-Xss2m"
47009 97b68d61de2e less noisy Isabelle/Scala build process; wenzelm parents: 46184 diff changeset	16
62233 dbc39c04a34a back to elementary options used in Isabelle2015 for jdk-7 -- none of the intermediate experiments for jdk-8 improved reactivity on particular dual-CPU system, but the problem seems to be absent on common single-CPU systems; wenzelm parents: 62043 diff changeset	17	ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
53346 26c795734b3c provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings; wenzelm parents: 52790 diff changeset	18
62840 d9744f41a4ec renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS; wenzelm parents: 62562 diff changeset	19	ISABELLE_TOOL_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
d9744f41a4ec renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS; wenzelm parents: 62562 diff changeset	20	ISABELLE_TOOL_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss4m"
d9744f41a4ec renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS; wenzelm parents: 62562 diff changeset	21
53577 d033bc00b762 clarified directory structure; wenzelm parents: 53576 diff changeset	22	classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
53576 793a429c63e7 maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources); wenzelm parents: 53346 diff changeset	23
60200 02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	24	#paranoia settings -- avoid intrusion of alien options
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	25	unset "_JAVA_OPTIONS"
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	26	unset "JAVA_TOOL_OPTIONS"
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	27
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	28	#paranoia settings -- avoid problems of Java/Swing versus XIM/IBus etc.
54037 ab77ec347220 unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19; wenzelm parents: 53577 diff changeset	29	unset XMODIFIERS
ab77ec347220 unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19; wenzelm parents: 53577 diff changeset	30
27906 df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	31
df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	32	###
62562 905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	33	### Interactive sessions (cf. isabelle console)
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	34	###
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	35
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	36	ISABELLE_LINE_EDITOR="rlwrap"
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	37
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	38
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	39	###
52052 892061142ba6 discontinued obsolete isabelle usedir, mkdir, make; wenzelm parents: 51977 diff changeset	40	### Batch sessions (cf. isabelle build)
2435 750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	41	###
750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	42
48466 3b2fb20df17d further imitation of ISABELLE_USEDIR_OPTIONS via options; wenzelm parents: 48449 diff changeset	43	ISABELLE_BUILD_OPTIONS=""
61131 83459eb76fe3 clarified ISABELLE_BUILD_JAVA_OPTIONS; wenzelm parents: 61027 diff changeset	44
2435 750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	45
750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	46	###
28504 7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; wenzelm parents: 28474 diff changeset	47	### Document preparation (cf. isabelle latex/document)
7773 ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	48	###
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	49
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	50	ISABELLE_LATEX="latex"
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	51	ISABELLE_PDFLATEX="pdflatex"
7813 4412debd3004 added ISABELLE_BIBTEX; wenzelm parents: 7776 diff changeset	52	ISABELLE_BIBTEX="bibtex"
14344 0f0a2148a099 run makeindex if necessary kleing parents: 14253 diff changeset	53	ISABELLE_MAKEINDEX="makeindex"
11800 5f84c687ba06 ISABELLE_EPSTOPDF="epstopdf"; wenzelm parents: 11569 diff changeset	54	ISABELLE_EPSTOPDF="epstopdf"
7773 ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	55
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	56
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	57	###
2968 8ba30b031f31 eliminated PLATFORM; wenzelm parents: 2915 diff changeset	58	### Misc path settings
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	59	###
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	60
63491 58ccbc73a172 prefer HTTPS; wenzelm parents: 62840 diff changeset	61	ISABELLE_COMPONENT_REPOSITORY="https://isabelle.in.tum.de/components"
48840 7e19dc018db9 added "isabelle components" tool; wenzelm parents: 48574 diff changeset	62
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	63	# The place for user configuration, heap files, etc.
48553 a4893c509aa2 proper shell variable; wenzelm parents: 48466 diff changeset	64	if [ -z "$ISABELLE_IDENTIFIER" ]; then
48449 2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	65	ISABELLE_HOME_USER="$USER_HOME/.isabelle"
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	66	else
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	67	ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	68	fi
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	69
3177 3c1448b9b0ee tuned comments; wenzelm parents: 3158 diff changeset	70	# Where to look for isabelle tools (multiple dirs separated by ':').
9787 fb8c5a66dbe8 more robust handling of spaces in args / file names; wenzelm parents: 9759 diff changeset	71	ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
2786 b36ca42c409a tuned comments; wenzelm parents: 2780 diff changeset	72
4334 e567f3425267 ISABELLE_TMP_PREFIX; wenzelm parents: 3689 diff changeset	73	# Location for temporary files (should be on a local file system).
58639 1df53737c59b prefer Unix standard-conformant $TMPDIR over hard-wired /tmp; wenzelm parents: 57451 diff changeset	74	ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-$USER"
4334 e567f3425267 ISABELLE_TMP_PREFIX; wenzelm parents: 3689 diff changeset	75
9787 fb8c5a66dbe8 more robust handling of spaces in args / file names; wenzelm parents: 9759 diff changeset	76	# Heap input locations. ML system identifier is included in lookup.
40387 e4c9e0dad473 moved ISABELLE_IDENTIFIER from ISABELLE_OUTPUT further up to ISABELLE_HOME_USER; wenzelm parents: 37174 diff changeset	77	ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
2780 1dc77f6d83e1 added THIS_IS_ISABELLE_BUILD discrimination; wenzelm parents: 2742 diff changeset	78
9787 fb8c5a66dbe8 more robust handling of spaces in args / file names; wenzelm parents: 9759 diff changeset	79	# Heap output location. ML system identifier is appended automatically later on.
40387 e4c9e0dad473 moved ISABELLE_IDENTIFIER from ISABELLE_OUTPUT further up to ISABELLE_HOME_USER; wenzelm parents: 37174 diff changeset	80	ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
26212 225b40bf36a7 removed obsolete THIS_IS_ISABELLE_BUILD feature; wenzelm parents: 26205 diff changeset	81	ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
2780 1dc77f6d83e1 added THIS_IS_ISABELLE_BUILD discrimination; wenzelm parents: 2742 diff changeset	82
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	83	# Site settings check -- just to make it a little bit harder to copy this file verbatim!
9225 4772656ddbbc added site settings check; wenzelm parents: 8880 diff changeset	84	[ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \
4772656ddbbc added site settings check; wenzelm parents: 8880 diff changeset	85	{ echo >&2 "### Isabelle site settings already present! Maybe copied etc/settings in full?"; }
32305 c5523ded51d9 basic support for components (which imitate the usual Isabelle directory layout); wenzelm parents: 32292 diff changeset	86	ISABELLE_SITE_SETTINGS_PRESENT=true
9225 4772656ddbbc added site settings check; wenzelm parents: 8880 diff changeset	87
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	88
9d542c96e855 more documentation kleing parents: 12998 diff changeset	89	###
28651 0e3f899eb6cf added jEdit settings; wenzelm parents: 28504 diff changeset	90	### Default logic
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	91	###
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	92
3184 4e0bbfb113d5 renamed DEFAULT_LOGIC to ISABELLE_LOGIC; wenzelm parents: 3182 diff changeset	93	ISABELLE_LOGIC=HOL
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	94
2786 b36ca42c409a tuned comments; wenzelm parents: 2780 diff changeset	95
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	96	###
9d542c96e855 more documentation kleing parents: 12998 diff changeset	97	### Docs
9d542c96e855 more documentation kleing parents: 12998 diff changeset	98	###
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	99
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	100	# Where to look for docs (multiple dirs separated by ':').
9787 fb8c5a66dbe8 more robust handling of spaces in args / file names; wenzelm parents: 9759 diff changeset	101	ISABELLE_DOCS="$ISABELLE_HOME/doc"
2345 8e45991e3601 added ISABELLE_DOCS; wenzelm parents: 2309 diff changeset	102
57451 3b10acac1d5e more release notes; wenzelm parents: 57441 diff changeset	103	ISABELLE_DOCS_RELEASE_NOTES="ANNOUNCE:README:NEWS:COPYRIGHT:CONTRIBUTORS:contrib/README:src/Tools/jEdit/README:README_REPOSITORY"
56424 7032378cc097 proper settings instead of hard-wired information; wenzelm parents: 54937 diff changeset	104	ISABELLE_DOCS_EXAMPLES="src/HOL/ex/Seq.thy:src/HOL/ex/ML.thy:src/HOL/Unix/Unix.thy:src/HOL/Isar_Examples/Drinker.thy:src/Tools/SML/Examples.thy"
7032378cc097 proper settings instead of hard-wired information; wenzelm parents: 54937 diff changeset	105
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	106	# "open" within desktop environment (potentially asynchronous)
50197 b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	107	case "$ISABELLE_PLATFORM_FAMILY" in
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	108	linux)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	109	ISABELLE_OPEN="xdg-open"
50197 b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	110	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	111	macos)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	112	ISABELLE_OPEN="open"
50197 b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	113	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	114	windows)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	115	ISABELLE_OPEN="cygstart"
50197 b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	116	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	117	esac
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	118
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	119	PDF_VIEWER="$ISABELLE_OPEN"
a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	120	DVI_VIEWER="$ISABELLE_OPEN"
2345 8e45991e3601 added ISABELLE_DOCS; wenzelm parents: 2309 diff changeset	121
15218 39747a9e3c37 display pdf as well as dvi kleing parents: 14981 diff changeset	122
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	123	###
63871 f745c6e683b7 discontinued global etc/abbrevs; wenzelm parents: 63688 diff changeset	124	### Symbol rendering
37058 c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	125	###
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	126
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	127	ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	128
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	129
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	130	###
62354 fdd6989cc8a0 SML/NJ is no longer supported; wenzelm parents: 62233 diff changeset	131	### Misc settings
7185 19672499bab6 External reasoning tools; wenzelm parents: 7184 diff changeset	132	###
19672499bab6 External reasoning tools; wenzelm parents: 7184 diff changeset	133
63688 cc57255bf6ae gnuplot presentation similar to former isatest-statistics; wenzelm parents: 63491 diff changeset	134	ISABELLE_GNUPLOT="gnuplot"
cc57255bf6ae gnuplot presentation similar to former isatest-statistics; wenzelm parents: 63491 diff changeset	135
48187 6615f7ce670b slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy); wenzelm* parents: 47758 diff changeset	136	#ISABELLE_GHC="/usr/bin/ghc"
6615f7ce670b slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy); wenzelm* parents: 47758 diff changeset	137	#ISABELLE_OCAML="/usr/bin/ocaml"
6615f7ce670b slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy); wenzelm* parents: 47758 diff changeset	138	#ISABELLE_SWIPL="/usr/bin/swipl"

author	wenzelm
	Fri, 29 Sep 2017 17:28:44 +0200
changeset 66714	9fc4e144693c
parent 65531	24544e3f183d
child 66906	03a96b8c7c06
permissions	-rw-r--r--