Skip to content
Success

Changes

Summary

  1. tuned signature;
  2. tuned signature;
  3. proper unzip with strip option, within the JVM; tuned component build process;
  4. updated to sqlite-jdbc-3.39.4.1; clarified directory layout;
  5. more standard component build process;
  6. clarified signature: prefer Scala functions instead of shell scripts;
  7. tuned;
  8. more direct target directory;
  9. clarified signature: prefer Scala functions instead of shell scripts;
Changeset 76548:0af64cc2eee9 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/Admin/build_cvc5.scala (diff)
The file was modified src/Pure/Admin/build_e.scala (diff)
The file was modified src/Pure/Admin/build_easychair.scala (diff)
The file was modified src/Pure/Admin/build_eptcs.scala (diff)
The file was modified src/Pure/Admin/build_foiltex.scala (diff)
The file was modified src/Pure/Admin/build_fonts.scala (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Admin/build_jedit.scala (diff)
The file was modified src/Pure/Admin/build_lipics.scala (diff)
The file was modified src/Pure/Admin/build_llncs.scala (diff)
The file was modified src/Pure/Admin/build_minisat.scala (diff)
The file was modified src/Pure/Admin/build_pdfjs.scala (diff)
The file was modified src/Pure/Admin/build_postgresql.scala (diff)
The file was modified src/Pure/Admin/build_prismjs.scala (diff)
The file was modified src/Pure/Admin/build_scala.scala (diff)
The file was modified src/Pure/Admin/build_spass.scala (diff)
The file was modified src/Pure/Admin/build_sqlite.scala (diff)
The file was modified src/Pure/Admin/build_vampire.scala (diff)
The file was modified src/Pure/Admin/build_verit.scala (diff)
The file was modified src/Pure/Admin/build_zipperposition.scala (diff)
The file was modified src/Pure/Admin/build_zstd.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
The file was modified src/Pure/Tools/dotnet_setup.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscode_extension.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
Changeset 76547:9fe5d8c70352 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/Admin/build_cvc5.scala (diff)
The file was modified src/Pure/Admin/build_e.scala (diff)
The file was modified src/Pure/Admin/build_easychair.scala (diff)
The file was modified src/Pure/Admin/build_eptcs.scala (diff)
The file was modified src/Pure/Admin/build_foiltex.scala (diff)
The file was modified src/Pure/Admin/build_fonts.scala (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Admin/build_jedit.scala (diff)
The file was modified src/Pure/Admin/build_lipics.scala (diff)
The file was modified src/Pure/Admin/build_llncs.scala (diff)
The file was modified src/Pure/Admin/build_minisat.scala (diff)
The file was modified src/Pure/Admin/build_pdfjs.scala (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/Admin/build_postgresql.scala (diff)
The file was modified src/Pure/Admin/build_prismjs.scala (diff)
The file was modified src/Pure/Admin/build_scala.scala (diff)
The file was modified src/Pure/Admin/build_spass.scala (diff)
The file was modified src/Pure/Admin/build_sqlite.scala (diff)
The file was modified src/Pure/Admin/build_vampire.scala (diff)
The file was modified src/Pure/Admin/build_verit.scala (diff)
The file was modified src/Pure/Admin/build_zipperposition.scala (diff)
The file was modified src/Pure/Admin/build_zstd.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscode_extension.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
Changeset 76546:88cecb9f1cdc by wenzelm:
proper unzip with strip option, within the JVM;<br>tuned component build process;
The file was modified src/Pure/Admin/build_easychair.scala (diff)
The file was modified src/Pure/Admin/build_foiltex.scala (diff)
The file was modified src/Pure/Admin/build_llncs.scala (diff)
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
Changeset 76545:cee207c2ddec by wenzelm:
updated to sqlite-jdbc-3.39.4.1;<br>clarified directory layout;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/build_sqlite.scala (diff)
Changeset 76544:b10926dbb763 by wenzelm:
more standard component build process;
The file was modified src/Pure/Admin/build_sqlite.scala (diff)
Changeset 76543:fef0195f8d8e by wenzelm:
clarified signature: prefer Scala functions instead of shell scripts;
The file was modified src/Pure/Admin/build_sqlite.scala (diff)
The file was modified src/Pure/Admin/build_zstd.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 76542:d6ce50a092eb by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_scala.scala (diff)
Changeset 76541:3706b88035d2 by wenzelm:
more direct target directory;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/Admin/build_e.scala (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Admin/build_minisat.scala (diff)
The file was modified src/Pure/Admin/build_spass.scala (diff)
The file was modified src/Pure/Admin/build_vampire.scala (diff)
The file was modified src/Pure/Admin/build_verit.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 76540:83de6e9ae983 by wenzelm:
clarified signature: prefer Scala functions instead of shell scripts;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/Admin/build_e.scala (diff)
The file was modified src/Pure/Admin/build_jedit.scala (diff)
The file was modified src/Pure/Admin/build_lipics.scala (diff)
The file was modified src/Pure/Admin/build_minisat.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/build_scala.scala (diff)
The file was modified src/Pure/Admin/build_spass.scala (diff)
The file was modified src/Pure/Admin/build_vampire.scala (diff)
The file was modified src/Pure/Admin/build_verit.scala (diff)
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)