Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. provide verit-2020.10-rmx for testing (inactive);
  2. proper setup for Windows/MinGW;
  3. proper libraries_closure for libgmp; tuned;
  4. tuned;
  5. updated to polyml-test-d68c6736402e --- follow current ongoing development;
  6. update build script for veriT 2020.10-rmx
Changeset 72477:56ef403eab15 by wenzelm:
provide verit-2020.10-rmx for testing (inactive);
The file was modified Admin/components/components.sha1 (diff)
Changeset 72476:845001bdf41a by wenzelm:
proper setup for Windows/MinGW;
The file was modified src/Pure/Admin/build_verit.scala (diff)
Changeset 72475:37e344d8fac8 by wenzelm:
proper libraries_closure for libgmp;<br>tuned;
The file was modified src/Pure/Admin/build_verit.scala (diff)
Changeset 72474:0a868098fcc0 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
Changeset 72473:70032f83b9be by wenzelm:
updated to polyml-test-d68c6736402e --- follow current ongoing development;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 72472:b54d4542d08c by mathias fleury _mathias.fleury@mpi-inf.mpg.de_:
update build script for veriT 2020.10-rmx
The file was modified src/Pure/Admin/build_verit.scala (diff)