isabelle: src/Pure/build-jars@d9823224fcfe (annotated)

34282 549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	1	#!/usr/bin/env bash
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	2	#
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	3	# Author: Makarius
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	4	#
42899 108e815fdc8e misc tuning and update; wenzelm parents: 42720 diff changeset	5	# build-jars - build Isabelle/Scala
34282 549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	6	#
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	7	# Requires proper Isabelle settings environment.
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	8
43320 657635e0445a tuned; wenzelm parents: 43285 diff changeset	9	## sources
657635e0445a tuned; wenzelm parents: 43285 diff changeset	10
657635e0445a tuned; wenzelm parents: 43285 diff changeset	11	declare -a SOURCES=(
72748 04d5f6d769a7 more flexible syntax for theory load commands via Isabelle/Scala; wenzelm parents: 72662 diff changeset	12	src/HOL/SPARK/Tools/spark.scala
73418 7d7d959547a1 support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl); wenzelm parents: 73399 diff changeset	13	src/HOL/Tools/ATP/system_on_tptp.scala
72176 22c11f65ddf9 rudiments of Scala interface for Kodkod; wenzelm parents: 71849 diff changeset	14	src/HOL/Tools/Nitpick/kodkod.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	15	src/Pure/Admin/afp.scala
72414 af24c0dd6975 build Isabelle CSDP component from official downloads; wenzelm parents: 72411 diff changeset	16	src/Pure/Admin/build_csdp.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	17	src/Pure/Admin/build_cygwin.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	18	src/Pure/Admin/build_doc.scala
72363 fc5f10691147 build Isabelle E prover component from official downloads; wenzelm parents: 72346 diff changeset	19	src/Pure/Admin/build_e.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	20	src/Pure/Admin/build_fonts.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	21	src/Pure/Admin/build_history.scala
73476 6b480efe1bc3 support for Java Chromium Embedded Framework (JCEF): still somewhat fragile; wenzelm parents: 73418 diff changeset	22	src/Pure/Admin/build_jcef.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	23	src/Pure/Admin/build_jdk.scala
73653 d9823224fcfe build auxiliary jEdit component in Isabelle/Scala; wenzelm parents: 73523 diff changeset	24	src/Pure/Admin/build_jedit.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	25	src/Pure/Admin/build_log.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	26	src/Pure/Admin/build_polyml.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	27	src/Pure/Admin/build_release.scala
72411 b8cc129ece05 build Isabelle SPASS component from unofficial download; wenzelm parents: 72363 diff changeset	28	src/Pure/Admin/build_spass.scala
72346 93e533198bf6 build Isabelle sqlite-jdbc component from official download; wenzelm parents: 72338 diff changeset	29	src/Pure/Admin/build_sqlite.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	30	src/Pure/Admin/build_status.scala
72886 ac64b753a65f build Isabelle Vampire component from repository; wenzelm parents: 72767 diff changeset	31	src/Pure/Admin/build_vampire.scala
72439 7f6800b2e8c2 build Isabelle veriT component from official download; wenzelm parents: 72421 diff changeset	32	src/Pure/Admin/build_verit.scala
72466 04403e1ef176 build Isabelle Zipperposition component from OPAM repository; wenzelm parents: 72448 diff changeset	33	src/Pure/Admin/build_zipperposition.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	34	src/Pure/Admin/check_sources.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	35	src/Pure/Admin/ci_profile.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	36	src/Pure/Admin/components.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	37	src/Pure/Admin/isabelle_cronjob.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	38	src/Pure/Admin/isabelle_devel.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	39	src/Pure/Admin/jenkins.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	40	src/Pure/Admin/other_isabelle.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	41	src/Pure/Concurrent/consumer_thread.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	42	src/Pure/Concurrent/counter.scala
71704 b9a5eb0f3b43 clarified modules; wenzelm parents: 71692 diff changeset	43	src/Pure/Concurrent/delay.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	44	src/Pure/Concurrent/event_timer.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	45	src/Pure/Concurrent/future.scala
71692 f8e52c0152fe clarified names; wenzelm parents: 71476 diff changeset	46	src/Pure/Concurrent/isabelle_thread.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	47	src/Pure/Concurrent/mailbox.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	48	src/Pure/Concurrent/par_list.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	49	src/Pure/Concurrent/synchronized.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	50	src/Pure/GUI/color_value.scala
72981 c78d1dfc6571 more friendly desktop application on macOS; wenzelm parents: 72976 diff changeset	51	src/Pure/GUI/desktop_app.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	52	src/Pure/GUI/gui.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	53	src/Pure/GUI/gui_thread.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	54	src/Pure/GUI/popup.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	55	src/Pure/GUI/wrap_panel.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	56	src/Pure/General/antiquote.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	57	src/Pure/General/bytes.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	58	src/Pure/General/cache.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	59	src/Pure/General/codepoint.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	60	src/Pure/General/comment.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	61	src/Pure/General/completion.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	62	src/Pure/General/csv.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	63	src/Pure/General/date.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	64	src/Pure/General/exn.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	65	src/Pure/General/file.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	66	src/Pure/General/file_watcher.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	67	src/Pure/General/graph.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	68	src/Pure/General/graph_display.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	69	src/Pure/General/graphics_file.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	70	src/Pure/General/http.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	71	src/Pure/General/json.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	72	src/Pure/General/linear_set.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	73	src/Pure/General/logger.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	74	src/Pure/General/long_name.scala
72558 38ebf696fd0c support for Mailman list servers; wenzelm parents: 72466 diff changeset	75	src/Pure/General/mailman.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	76	src/Pure/General/mercurial.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	77	src/Pure/General/multi_map.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	78	src/Pure/General/output.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	79	src/Pure/General/path.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	80	src/Pure/General/position.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	81	src/Pure/General/pretty.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	82	src/Pure/General/properties.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	83	src/Pure/General/rdf.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	84	src/Pure/General/scan.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	85	src/Pure/General/sha1.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	86	src/Pure/General/sql.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	87	src/Pure/General/ssh.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	88	src/Pure/General/symbol.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	89	src/Pure/General/time.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	90	src/Pure/General/timing.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	91	src/Pure/General/untyped.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	92	src/Pure/General/url.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	93	src/Pure/General/utf8.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	94	src/Pure/General/uuid.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	95	src/Pure/General/value.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	96	src/Pure/General/word.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	97	src/Pure/General/xz.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	98	src/Pure/Isar/document_structure.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	99	src/Pure/Isar/keyword.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	100	src/Pure/Isar/line_structure.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	101	src/Pure/Isar/outer_syntax.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	102	src/Pure/Isar/parse.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	103	src/Pure/Isar/token.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	104	src/Pure/ML/ml_console.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	105	src/Pure/ML/ml_lex.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	106	src/Pure/ML/ml_process.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	107	src/Pure/ML/ml_statistics.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	108	src/Pure/ML/ml_syntax.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	109	src/Pure/PIDE/byte_message.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	110	src/Pure/PIDE/command.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	111	src/Pure/PIDE/command_span.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	112	src/Pure/PIDE/document.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	113	src/Pure/PIDE/document_id.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	114	src/Pure/PIDE/document_status.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	115	src/Pure/PIDE/editor.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	116	src/Pure/PIDE/headless.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	117	src/Pure/PIDE/line.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	118	src/Pure/PIDE/markup.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	119	src/Pure/PIDE/markup_tree.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	120	src/Pure/PIDE/protocol.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	121	src/Pure/PIDE/protocol_handlers.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	122	src/Pure/PIDE/protocol_message.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	123	src/Pure/PIDE/prover.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	124	src/Pure/PIDE/query_operation.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	125	src/Pure/PIDE/rendering.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	126	src/Pure/PIDE/resources.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	127	src/Pure/PIDE/session.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	128	src/Pure/PIDE/text.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	129	src/Pure/PIDE/xml.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	130	src/Pure/PIDE/yxml.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	131	src/Pure/ROOT.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	132	src/Pure/System/bash.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	133	src/Pure/System/command_line.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	134	src/Pure/System/cygwin.scala
72448 faad63aca1e7 support for platform-specific executables; wenzelm parents: 72439 diff changeset	135	src/Pure/System/executable.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	136	src/Pure/System/getopts.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	137	src/Pure/System/isabelle_charset.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	138	src/Pure/System/isabelle_fonts.scala
72338 54871a086193 formal platform information, notably for ssh; wenzelm parents: 72250 diff changeset	139	src/Pure/System/isabelle_platform.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	140	src/Pure/System/isabelle_process.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	141	src/Pure/System/isabelle_system.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	142	src/Pure/System/isabelle_tool.scala
72250 13976f92a2d0 clarified modules; wenzelm parents: 72176 diff changeset	143	src/Pure/System/java_statistics.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	144	src/Pure/System/linux.scala
72421 9a8bc089890d support for MSYS2/MinGW64 on Windows; wenzelm parents: 72414 diff changeset	145	src/Pure/System/mingw.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	146	src/Pure/System/numa.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	147	src/Pure/System/options.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	148	src/Pure/System/platform.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	149	src/Pure/System/posix_interrupt.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	150	src/Pure/System/process_result.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	151	src/Pure/System/progress.scala
71849 265bbad3d6af clarified modules; wenzelm parents: 71704 diff changeset	152	src/Pure/System/scala.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	153	src/Pure/System/system_channel.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	154	src/Pure/System/tty_loop.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	155	src/Pure/Thy/bibtex.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	156	src/Pure/Thy/export.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	157	src/Pure/Thy/export_theory.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	158	src/Pure/Thy/file_format.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	159	src/Pure/Thy/html.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	160	src/Pure/Thy/latex.scala
72652 07edf1952ab1 clarified modules; wenzelm parents: 72558 diff changeset	161	src/Pure/Thy/presentation.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	162	src/Pure/Thy/sessions.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	163	src/Pure/Thy/thy_element.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	164	src/Pure/Thy/thy_header.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	165	src/Pure/Thy/thy_syntax.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	166	src/Pure/Tools/build.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	167	src/Pure/Tools/build_docker.scala
72662 5c08ad7adf77 clarified modules; wenzelm parents: 72652 diff changeset	168	src/Pure/Tools/build_job.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	169	src/Pure/Tools/check_keywords.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	170	src/Pure/Tools/debugger.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	171	src/Pure/Tools/doc.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	172	src/Pure/Tools/dump.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	173	src/Pure/Tools/fontforge.scala
72976 51442c6dc296 more robust Java monitor: avoid odd warning about insecure connection; wenzelm parents: 72886 diff changeset	174	src/Pure/Tools/java_monitor.scala
73399 48569c862eb8 proper Isabelle/Scala tool --- avoid perl; wenzelm parents: 72981 diff changeset	175	src/Pure/Tools/logo.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	176	src/Pure/Tools/main.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	177	src/Pure/Tools/mkroot.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	178	src/Pure/Tools/phabricator.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	179	src/Pure/Tools/print_operation.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	180	src/Pure/Tools/profiling_report.scala
71378 820cf124dced added "isabelle scala_project" to support e.g. IntelliJ IDEA; wenzelm parents: 71375 diff changeset	181	src/Pure/Tools/scala_project.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	182	src/Pure/Tools/server.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	183	src/Pure/Tools/server_commands.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	184	src/Pure/Tools/simplifier_trace.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	185	src/Pure/Tools/spell_checker.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	186	src/Pure/Tools/task_statistics.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	187	src/Pure/Tools/update.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	188	src/Pure/Tools/update_cartouches.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	189	src/Pure/Tools/update_comments.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	190	src/Pure/Tools/update_header.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	191	src/Pure/Tools/update_then.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	192	src/Pure/Tools/update_theorems.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	193	src/Pure/library.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	194	src/Pure/pure_thy.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	195	src/Pure/term.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	196	src/Pure/term_xml.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	197	src/Pure/thm_name.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	198	src/Tools/Graphview/graph_file.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	199	src/Tools/Graphview/graph_panel.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	200	src/Tools/Graphview/graphview.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	201	src/Tools/Graphview/layout.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	202	src/Tools/Graphview/main_panel.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	203	src/Tools/Graphview/metrics.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	204	src/Tools/Graphview/model.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	205	src/Tools/Graphview/mutator.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	206	src/Tools/Graphview/mutator_dialog.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	207	src/Tools/Graphview/mutator_event.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	208	src/Tools/Graphview/popups.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	209	src/Tools/Graphview/shapes.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	210	src/Tools/Graphview/tree_panel.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	211	src/Tools/VSCode/src/build_vscode.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	212	src/Tools/VSCode/src/channel.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	213	src/Tools/VSCode/src/dynamic_output.scala
72761 4519eeefe3b5 avoid conflicting base names; wenzelm parents: 72748 diff changeset	214	src/Tools/VSCode/src/language_server.scala
4519eeefe3b5 avoid conflicting base names; wenzelm parents: 72748 diff changeset	215	src/Tools/VSCode/src/lsp.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	216	src/Tools/VSCode/src/preview_panel.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	217	src/Tools/VSCode/src/state_panel.scala
72767 f6bf65554764 clarified files; wenzelm parents: 72761 diff changeset	218	src/Tools/VSCode/src/textmate_grammar.scala
72761 4519eeefe3b5 avoid conflicting base names; wenzelm parents: 72748 diff changeset	219	src/Tools/VSCode/src/vscode_model.scala
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	220	src/Tools/VSCode/src/vscode_rendering.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	221	src/Tools/VSCode/src/vscode_resources.scala
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	222	src/Tools/VSCode/src/vscode_spell_checker.scala
43320 657635e0445a tuned; wenzelm parents: 43285 diff changeset	223	)
657635e0445a tuned; wenzelm parents: 43285 diff changeset	224
34282 549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	225
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	226	## diagnostics
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	227
43280 e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	228	PRG="$(basename "$0")"
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	229
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	230	function usage()
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	231	{
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	232	echo
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	233	echo "Usage: isabelle $PRG [OPTIONS]"
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	234	echo
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	235	echo " Options are:"
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	236	echo " -f fresh build"
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	237	echo
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	238	exit 1
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	239	}
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	240
34282 549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	241	function fail()
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	242	{
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	243	echo "$1" >&2
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	244	exit 2
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	245	}
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	246
42899 108e815fdc8e misc tuning and update; wenzelm parents: 42720 diff changeset	247	[ -z "$ISABELLE_HOME" ] && fail "Missing Isabelle settings environment"
34282 549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	248
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	249
43280 e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	250	## process command line
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	251
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	252	# options
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	253
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	254	FRESH=""
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	255
64370 865b39487b5d discontinued unused / untested distinction of separate PIDE modules; wenzelm parents: 64369 diff changeset	256	while getopts "f" OPT
43280 e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	257	do
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	258	case "$OPT" in
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	259	f)
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	260	FRESH=true
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	261	;;
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	262	\?)
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	263	usage
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	264	;;
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	265	esac
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	266	done
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	267
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	268	shift $(($OPTIND - 1))
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	269
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	270
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	271	# args
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	272
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	273	[ "$#" -ne 0 ] && usage
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	274
e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	275
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	276	## target
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	277
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	278	TARGET_DIR="lib/classes"
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	279	TARGET_JAR="$TARGET_DIR/Pure.jar"
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	280	TARGET_SHASUM="$TARGET_DIR/Pure.shasum"
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	281
71374 7832d912d950 tuned; wenzelm parents: 71367 diff changeset	282	function target_shasum()
7832d912d950 tuned; wenzelm parents: 71367 diff changeset	283	{
7832d912d950 tuned; wenzelm parents: 71367 diff changeset	284	shasum -a1 -b "$TARGET_JAR" "${SOURCES[@]}" 2>/dev/null
7832d912d950 tuned; wenzelm parents: 71367 diff changeset	285	}
7832d912d950 tuned; wenzelm parents: 71367 diff changeset	286
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	287	function target_clean()
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	288	{
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	289	rm -rf "$TARGET_DIR"
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	290	}
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	291
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	292	[ -n "$FRESH" ] && target_clean
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	293
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	294
49558 af7b652180d5 minimal component and build setup for graphview; wenzelm parents: 49449 diff changeset	295	## build
34282 549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	296
71375 5ccf60c1f47c tuned messages; wenzelm parents: 71374 diff changeset	297	target_shasum \| cmp "$TARGET_SHASUM" >/dev/null 2>/dev/null
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	298	if [ "$?" -ne 0 ]; then
49173 fa01a202399c eliminated potentially confusing terminology of Scala "layer"; wenzelm parents: 49068 diff changeset	299	echo "### Building Isabelle/Scala ..."
34282 549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	300
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	301	target_clean
43405 723a8af9d3f0 tuned messages; wenzelm parents: 43320 diff changeset	302
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	303	BUILD_DIR="$TARGET_DIR/build"
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	304	mkdir -p "$BUILD_DIR"
45673 cd41e3903fbf separate compilation of PIDE vs. Pure sources, which enables independent Scala library; wenzelm parents: 45672 diff changeset	305
50689 0607d557d073 some support for chart drawing; wenzelm parents: 50687 diff changeset	306	(
61294 2d3d26e9b191 renamed jvmpath to platform_path; wenzelm parents: 61288 diff changeset	307	export CLASSPATH="$(platform_path "$ISABELLE_CLASSPATH")"
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	308	isabelle_scala scalac $ISABELLE_SCALAC_OPTIONS \
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	309	-d "$BUILD_DIR" "${SOURCES[@]}"
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	310	) \|\| fail "Failed to compile sources"
43280 e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	311
43517 87ec9a1c0f98 basic setup for Isabelle charset; wenzelm parents: 43405 diff changeset	312	CHARSET_SERVICE="META-INF/services/java.nio.charset.spi.CharsetProvider"
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	313	mkdir -p "$BUILD_DIR/$(dirname "$CHARSET_SERVICE")"
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	314	echo isabelle.Isabelle_Charset_Provider > "$BUILD_DIR/$CHARSET_SERVICE"
43517 87ec9a1c0f98 basic setup for Isabelle charset; wenzelm parents: 43405 diff changeset	315
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	316	cp "$ISABELLE_HOME/lib/logo/isabelle_transparent-32.gif" "$BUILD_DIR/isabelle/."
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	317	cp "$ISABELLE_HOME/lib/logo/isabelle_transparent.gif" "$BUILD_DIR/isabelle/."
53452 8181bc357dc4 more portable access to icon -- avoid Isabelle_System which is not yet initialized in bootstrap; wenzelm parents: 53279 diff changeset	318
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	319	isabelle_jdk jar -c -f "$(platform_path "$TARGET_JAR")" -e isabelle.Main \
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	320	-C "$BUILD_DIR" META-INF \
91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	321	-C "$BUILD_DIR" isabelle \|\| fail "Failed to produce $TARGET_JAR"
34282 549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	322
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	323	rm -rf "$BUILD_DIR"
43280 e5dd0ae1b054 support fresh build of jars; wenzelm parents: 42899 diff changeset	324
71367 91d5a8255c98 build in $ISABELLE_HOME; wenzelm parents: 71366 diff changeset	325	target_shasum > "$TARGET_SHASUM"
34282 549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make; wenzelm parents: diff changeset	326	fi

author	wenzelm
	Mon, 10 May 2021 12:23:30 +0200
changeset 73653	d9823224fcfe
parent 73523	2cd23d587db9
child 73691	2f9877db82a1
permissions	-rwxr-xr-x