isabelle: etc/settings@493b1ae188da (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
73092 131ab1a941dd try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup"; wenzelm parents: 72939 diff changeset	15	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	16
71791 bb72e75cec61 back to more modest (but uniform) Java stack, see 97fc4f657bda; wenzelm parents: 71790 diff changeset	17	ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"
62840 d9744f41a4ec renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS; wenzelm parents: 62562 diff changeset	18
73710 241cfa881788 enforce syntax of Scala 3; wenzelm parents: 73606 diff changeset	19	ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -Wconf:cat=other-match-analysis:silent -feature -deprecation -target:11 -Xsource:3 -J-Xms512m -J-Xmx4g -J-Xss16m"
70076 3b3089863eda uniform JVM heap options for Isabelle/Scala tools and scalac (again); wenzelm parents: 70070 diff changeset	20
53577 d033bc00b762 clarified directory structure; wenzelm parents: 53576 diff changeset	21	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	22
71736 a2afc7ed2c68 another isabelle_scala_service; wenzelm parents: 71733 diff changeset	23	isabelle_scala_service 'isabelle.Tools'
a2afc7ed2c68 another isabelle_scala_service; wenzelm parents: 71733 diff changeset	24	[ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_service 'isabelle.Admin_Tools'
69277 258bef08b31e support for user-defined Isabelle/Scala command-line tools; wenzelm parents: 69255 diff changeset	25
72193 742d94015918 clarified signature; wenzelm parents: 72163 diff changeset	26	isabelle_scala_service 'isabelle.Scala_Functions'
71871 28def00726ca more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment; wenzelm parents: 71791 diff changeset	27
72837 2c26c283f3ee PIDE support for session ROOTS; wenzelm parents: 72791 diff changeset	28	isabelle_scala_service 'isabelle.Sessions$File_Format'
71733 6c470c918aad more general support for isabelle_scala_service; wenzelm parents: 71387 diff changeset	29	isabelle_scala_service 'isabelle.Bibtex$File_Format'
69255 800b1ce96fce more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; wenzelm parents: 69151 diff changeset	30
72157 d1ca82e27cbc clarified names; wenzelm parents: 72156 diff changeset	31	isabelle_scala_service 'isabelle.ML_Statistics$Handler'
d1ca82e27cbc clarified names; wenzelm parents: 72156 diff changeset	32	isabelle_scala_service 'isabelle.Scala$Handler'
72156 065dcd80293e provide protocol handlers via isabelle_system_service; wenzelm parents: 71925 diff changeset	33	isabelle_scala_service 'isabelle.Print_Operation$Handler'
065dcd80293e provide protocol handlers via isabelle_system_service; wenzelm parents: 71925 diff changeset	34	isabelle_scala_service 'isabelle.Simplifier_Trace$Handler'
72163 f5722290a4d0 allow user-defined server commands via isabelle_scala_service; wenzelm parents: 72162 diff changeset	35	isabelle_scala_service 'isabelle.Server_Commands'
72156 065dcd80293e provide protocol handlers via isabelle_system_service; wenzelm parents: 71925 diff changeset	36
73721 52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73710 diff changeset	37	isabelle_scala_service 'isabelle.Document_Build$LuaLaTeX_Engine'
52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73710 diff changeset	38	isabelle_scala_service 'isabelle.Document_Build$PDFLaTeX_Engine'
52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73710 diff changeset	39	isabelle_scala_service 'isabelle.Document_Build$Build_Engine'
52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73710 diff changeset	40
60200 02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	41	#paranoia settings -- avoid intrusion of alien options
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	42	unset "_JAVA_OPTIONS"
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	43	unset "JAVA_TOOL_OPTIONS"
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	44
02fd729f2883 more paranoia settings, e.g. relevant for Ubuntu 15.04; wenzelm parents: 59565 diff changeset	45	#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	46	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	47
27906 df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	48
df49b4da8903 added JVM components (Scala or Java); wenzelm parents: 27202 diff changeset	49	###
62562 905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	50	### 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	51	###
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	52
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	53	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	54
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	55
905a5db3932d back to external line editor, due to problems of JLine with multithreading of in vs. out; wenzelm parents: 62559 diff changeset	56	###
52052 892061142ba6 discontinued obsolete isabelle usedir, mkdir, make; wenzelm parents: 51977 diff changeset	57	### Batch sessions (cf. isabelle build)
2435 750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	58	###
750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	59
48466 3b2fb20df17d further imitation of ISABELLE_USEDIR_OPTIONS via options; wenzelm parents: 48449 diff changeset	60	ISABELLE_BUILD_OPTIONS=""
61131 83459eb76fe3 clarified ISABELLE_BUILD_JAVA_OPTIONS; wenzelm parents: 61027 diff changeset	61
2435 750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	62
750a73406623 added ISABELLE_HTML; wenzelm parents: 2426 diff changeset	63	###
73721 52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73710 diff changeset	64	### Document preparation (cf. isabelle latex)
7773 ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	65	###
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	66
73721 52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73710 diff changeset	67	if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
73727 2574de12ad29 clarified command-line options; wenzelm parents: 73721 diff changeset	68	ISABELLE_PDFLATEX="pdflatex -interaction=nonstopmode -c-style-errors"
73721 52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73710 diff changeset	69	else
73727 2574de12ad29 clarified command-line options; wenzelm parents: 73721 diff changeset	70	ISABELLE_PDFLATEX="pdflatex -interaction=nonstopmode -file-line-error"
73721 52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73710 diff changeset	71	fi
52030acb19ac option document_build refers to build engine in Isabelle/Scala; wenzelm parents: 73710 diff changeset	72
73727 2574de12ad29 clarified command-line options; wenzelm parents: 73721 diff changeset	73	ISABELLE_LUALATEX="lualatex --interaction=nonstopmode --file-line-error"
7813 4412debd3004 added ISABELLE_BIBTEX; wenzelm parents: 7776 diff changeset	74	ISABELLE_BIBTEX="bibtex"
73740 c46ff0efa1ce more direct use of latex tools: avoid diversion into "isabelle latex -o pdf" and its confusion of ISABELLE_PDFLATEX vs. ISABELLE_LUALATEX; wenzelm parents: 73727 diff changeset	75	ISABELLE_MAKEINDEX="makeindex -c -q"
11800 5f84c687ba06 ISABELLE_EPSTOPDF="epstopdf"; wenzelm parents: 11569 diff changeset	76	ISABELLE_EPSTOPDF="epstopdf"
7773 ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	77
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	78
ce86227f29d0 Document preparation setup; wenzelm parents: 7762 diff changeset	79	###
2968 8ba30b031f31 eliminated PLATFORM; wenzelm parents: 2915 diff changeset	80	### Misc path settings
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	81	###
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	82
72162 5894859c5c84 more systematic support for special directories; wenzelm parents: 72157 diff changeset	83	isabelle_directory '~'
5894859c5c84 more systematic support for special directories; wenzelm parents: 72157 diff changeset	84	isabelle_directory '$ISABELLE_HOME_USER'
5894859c5c84 more systematic support for special directories; wenzelm parents: 72157 diff changeset	85	isabelle_directory '~~'
5894859c5c84 more systematic support for special directories; wenzelm parents: 72157 diff changeset	86
72552 461b3942148d back to https://isabelle.sketis.net/components (more reliable); wenzelm parents: 72541 diff changeset	87	ISABELLE_COMPONENT_REPOSITORY="https://isabelle.sketis.net/components"
69434 b93404a4c3dd clarified settings and defaults; wenzelm parents: 69412 diff changeset	88	ISABELLE_COMPONENTS_BASE="$USER_HOME/.isabelle/contrib"
48840 7e19dc018db9 added "isabelle components" tool; wenzelm parents: 48574 diff changeset	89
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	90	# The place for user configuration, heap files, etc.
48553 a4893c509aa2 proper shell variable; wenzelm parents: 48466 diff changeset	91	if [ -z "$ISABELLE_IDENTIFIER" ]; then
48449 2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	92	ISABELLE_HOME_USER="$USER_HOME/.isabelle"
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	93	else
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	94	ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"
2d987dad7c3e tuned; wenzelm parents: 48443 diff changeset	95	fi
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	96
3177 3c1448b9b0ee tuned comments; wenzelm parents: 3158 diff changeset	97	# 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	98	ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
2786 b36ca42c409a tuned comments; wenzelm parents: 2780 diff changeset	99
4334 e567f3425267 ISABELLE_TMP_PREFIX; wenzelm parents: 3689 diff changeset	100	# 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	101	ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-$USER"
4334 e567f3425267 ISABELLE_TMP_PREFIX; wenzelm parents: 3689 diff changeset	102
68523 ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	103	# Heap locations.
ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	104	ISABELLE_HEAPS="$ISABELLE_HOME_USER/heaps"
ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	105	ISABELLE_HEAPS_SYSTEM="$ISABELLE_HOME/heaps"
ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	106
68219 c0341c0080e2 clarified store directories; wenzelm parents: 67762 diff changeset	107	# HTML browser info.
26212 225b40bf36a7 removed obsolete THIS_IS_ISABELLE_BUILD feature; wenzelm parents: 26205 diff changeset	108	ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
68523 ccacc84e0251 clarified settings -- avoid hard-wired directories; wenzelm parents: 68384 diff changeset	109	ISABELLE_BROWSER_INFO_SYSTEM="$ISABELLE_HOME/browser_info"
2780 1dc77f6d83e1 added THIS_IS_ISABELLE_BUILD discrimination; wenzelm parents: 2742 diff changeset	110
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	111	# 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	112	[ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \
4772656ddbbc added site settings check; wenzelm parents: 8880 diff changeset	113	{ 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	114	ISABELLE_SITE_SETTINGS_PRESENT=true
9225 4772656ddbbc added site settings check; wenzelm parents: 8880 diff changeset	115
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	116
9d542c96e855 more documentation kleing parents: 12998 diff changeset	117	###
28651 0e3f899eb6cf added jEdit settings; wenzelm parents: 28504 diff changeset	118	### Default logic
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	119	###
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	120
3184 4e0bbfb113d5 renamed DEFAULT_LOGIC to ISABELLE_LOGIC; wenzelm parents: 3182 diff changeset	121	ISABELLE_LOGIC=HOL
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	122
2786 b36ca42c409a tuned comments; wenzelm parents: 2780 diff changeset	123
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	124	###
73224 49686e3b1909 clarified links to external files, e.g. .pdf within .thy source document; wenzelm parents: 73180 diff changeset	125	### Docs and external files
13920 9d542c96e855 more documentation kleing parents: 12998 diff changeset	126	###
2294 a67343c87db4 settings: Isabelle settings -- site defaults. wenzelm parents: diff changeset	127
16186 6eb74e2cec7e renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; wenzelm parents: 15982 diff changeset	128	# 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	129	ISABELLE_DOCS="$ISABELLE_HOME/doc"
2345 8e45991e3601 added ISABELLE_DOCS; wenzelm parents: 2309 diff changeset	130
69412 f0b85c8aec46 proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a); wenzelm parents: 69328 diff changeset	131	ISABELLE_DOCS_RELEASE_NOTES="~~/ANNOUNCE:~~/README:~~/NEWS:~~/COPYRIGHT:~~/CONTRIBUTORS:~~/contrib/README:~~/src/Tools/jEdit/README:~~/README_REPOSITORY"
71925 bf085daea304 clarified sessions: "Notable Examples in Isabelle/HOL"; wenzelm parents: 71871 diff changeset	132	ISABELLE_DOCS_EXAMPLES="~~/src/HOL/Examples/Seq.thy:~~/src/HOL/Examples/Drinker.thy:~~/src/HOL/Examples/ML.thy:~~/src/HOL/Unix/Unix.thy:~~/src/Tools/SML/Examples.thy:~~/src/Pure/ROOT.ML"
56424 7032378cc097 proper settings instead of hard-wired information; wenzelm parents: 54937 diff changeset	133
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	134	# "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	135	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	136	linux)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	137	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	138	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	139	macos)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	140	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	141	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	142	windows)
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	143	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	144	;;
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	145	esac
b385d134926d eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example; wenzelm parents: 49000 diff changeset	146
54685 a9c9792e87a5 generic $ISABELLE_OPEN; wenzelm parents: 54683 diff changeset	147	PDF_VIEWER="$ISABELLE_OPEN"
2345 8e45991e3601 added ISABELLE_DOCS; wenzelm parents: 2309 diff changeset	148
73224 49686e3b1909 clarified links to external files, e.g. .pdf within .thy source document; wenzelm parents: 73180 diff changeset	149	ISABELLE_EXTERNAL_FILES="bmp:eps:gif:jpeg:jpg:pdf:png:xmp"
49686e3b1909 clarified links to external files, e.g. .pdf within .thy source document; wenzelm parents: 73180 diff changeset	150
15218 39747a9e3c37 display pdf as well as dvi kleing parents: 14981 diff changeset	151
2426 dc9dcdb43b4f major cleanup; wenzelm parents: 2410 diff changeset	152	###
63871 f745c6e683b7 discontinued global etc/abbrevs; wenzelm parents: 63688 diff changeset	153	### Symbol rendering
37058 c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	154	###
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	155
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	156	ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	157
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	158
c47653f3ec14 rendering information and style sheets via settings; wenzelm parents: 36212 diff changeset	159	###
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	160	### OCaml
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	161	###
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	162
69935 11d0fdb29ebc prefer central root: just one copy of this bulky material; wenzelm parents: 69810 diff changeset	163	ISABELLE_OPAM_ROOT="$USER_HOME/.opam"
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	164
73606 460e7535df46 more recent OCaml and GHC stack: better support for Apple Silicon; wenzelm parents: 73370 diff changeset	165	ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.12.0"
69135 be20f5f6feb9 support for OCaml via command-line tools; wenzelm parents: 69134 diff changeset	166
69134 a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	167
a142ec271d83 isabelle_opam as portable shell function; wenzelm parents: 69129 diff changeset	168	###
69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	169	### Haskell
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	170	###
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	171
69935 11d0fdb29ebc prefer central root: just one copy of this bulky material; wenzelm parents: 69810 diff changeset	172	ISABELLE_STACK_ROOT="$USER_HOME/.stack"
69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	173
73606 460e7535df46 more recent OCaml and GHC stack: better support for Apple Silicon; wenzelm parents: 73370 diff changeset	174	ISABELLE_STACK_RESOLVER="lts-17.10"
69151 b310bc57f55f support for GHC via command-line tools; wenzelm parents: 69147 diff changeset	175
73606 460e7535df46 more recent OCaml and GHC stack: better support for Apple Silicon; wenzelm parents: 73370 diff changeset	176	ISABELLE_GHC_VERSION="ghc-8.10.4"
69151 b310bc57f55f support for GHC via command-line tools; wenzelm parents: 69147 diff changeset	177
69147 6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	178
6f4d561ea621 isabelle_stack as portable shell function; wenzelm parents: 69135 diff changeset	179	###
62354 fdd6989cc8a0 SML/NJ is no longer supported; wenzelm parents: 62233 diff changeset	180	### Misc settings
7185 19672499bab6 External reasoning tools; wenzelm parents: 7184 diff changeset	181	###
19672499bab6 External reasoning tools; wenzelm parents: 7184 diff changeset	182
63688 cc57255bf6ae gnuplot presentation similar to former isatest-statistics; wenzelm parents: 63491 diff changeset	183	ISABELLE_GNUPLOT="gnuplot"
69328 4646fcb59121 support for fontforge and its scripting language; wenzelm parents: 69311 diff changeset	184	ISABELLE_FONTFORGE="fontforge"
63688 cc57255bf6ae gnuplot presentation similar to former isatest-statistics; wenzelm parents: 63491 diff changeset	185
68384 4a3fc3420747 full benchmarks, including all conditional theories; wenzelm parents: 68219 diff changeset	186	#ISABELLE_MLTON="/usr/bin/mlton"
4a3fc3420747 full benchmarks, including all conditional theories; wenzelm parents: 68219 diff changeset	187	#ISABELLE_SMLNJ="/usr/bin/sml"
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	188	#ISABELLE_SWIPL="/usr/bin/swipl"

author	wenzelm
	Wed, 26 May 2021 18:07:49 +0200
changeset 73787	493b1ae188da
parent 73740	c46ff0efa1ce
child 73953	0b5e6851c722
permissions	-rw-r--r--