Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. purge build dir;
  2. parallel jobs for make;
  3. back to uniform build, using latest repository version for vampire_polymorphic;
  4. prefer cmake build for standard version: more portable; prefer static build for Linux: allow newer Linux version;
  5. clarified default name;
  6. build Isabelle Vampire component from repository;
  7. accommodate OpenJDK 15;
Changeset 72891:6751057a64b1 by wenzelm:
purge build dir;
The file was modified src/Pure/Admin/build_vampire.scala (diff)
Changeset 72890:42d75bf8725c by wenzelm:
parallel jobs for make;
The file was modified src/Pure/Admin/build_vampire.scala (diff)
Changeset 72889:5db643841f5d by wenzelm:
back to uniform build, using latest repository version for vampire_polymorphic;
The file was modified src/Pure/Admin/build_vampire.scala (diff)
Changeset 72888:74d785882737 by wenzelm:
prefer cmake build for standard version: more portable;<br>prefer static build for Linux: allow newer Linux version;
The file was modified src/Pure/Admin/build_vampire.scala (diff)
Changeset 72887:970bad477c13 by wenzelm:
clarified default name;
The file was modified src/Pure/Admin/build_vampire.scala (diff)
Changeset 72886:ac64b753a65f by wenzelm:
build Isabelle Vampire component from repository;
The file was addedsrc/Pure/Admin/build_vampire.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 72885:1b0f81e556a2 by wenzelm:
accommodate OpenJDK 15;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/General/properties.scala (diff)