[macports-ports] branch master updated (dae70bc -> f6a829f)

Landon Fuller landonf at users.noreply.github.com
Sat Sep 28 02:37:19 UTC 2019


Landon Fuller (landonf) pushed a change to branch master
in repository macports-ports.

    from dae70bc  ocaml-cppo: bump revision to force rebuild with ocamlbuild fix
     new 98982b9  kremlin_select: new port
     new 71bebf1  fstar_select: new port
     new f6a829f  fstar: new port

The 3 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 lang/fstar/Portfile                                | 363 +++++++++++++++++++++
 lang/fstar/files/fstar-select.in                   |   2 +
 .../files/kremlin-devel/patch-fix-make-command     |  26 ++
 .../files/kremlin-devel/patch-test_system_system.h |  10 +
 .../kremlin-0.9.6.0-test-hints.tar.xz              | Bin 0 -> 363308 bytes
 .../kremlin-stable/patch-disable-broken-tests      |  26 ++
 .../files/kremlin-stable/patch-fix-make-command    |  16 +
 .../fstar/files/kremlin-stable/patch-fstar-0.9.7.0 | 207 ++++++++++++
 .../fstar/files/kremlin/patch-clang-driver-options |  36 ++
 lang/fstar/files/patch-examples-fix-tests          | 179 ++++++++++
 lang/fstar/files/patch-fix-get_exec_dir            |  14 +
 lang/fstar/files/patch-no-install-checked          |  11 +
 lang/fstar/files/patch-ocaml4.08                   |  16 +
 lang/fstar/files/patch-z3-path                     |  11 +
 sysutils/fstar_select/Portfile                     |  33 ++
 sysutils/fstar_select/files/base                   |   2 +
 sysutils/fstar_select/files/none                   |   2 +
 sysutils/kremlin_select/Portfile                   |  33 ++
 sysutils/kremlin_select/files/base                 |   2 +
 sysutils/kremlin_select/files/none                 |   2 +
 20 files changed, 991 insertions(+)
 create mode 100644 lang/fstar/Portfile
 create mode 100644 lang/fstar/files/fstar-select.in
 create mode 100644 lang/fstar/files/kremlin-devel/patch-fix-make-command
 create mode 100644 lang/fstar/files/kremlin-devel/patch-test_system_system.h
 create mode 100644 lang/fstar/files/kremlin-stable/kremlin-0.9.6.0-test-hints.tar.xz
 create mode 100644 lang/fstar/files/kremlin-stable/patch-disable-broken-tests
 create mode 100644 lang/fstar/files/kremlin-stable/patch-fix-make-command
 create mode 100644 lang/fstar/files/kremlin-stable/patch-fstar-0.9.7.0
 create mode 100644 lang/fstar/files/kremlin/patch-clang-driver-options
 create mode 100644 lang/fstar/files/patch-examples-fix-tests
 create mode 100644 lang/fstar/files/patch-fix-get_exec_dir
 create mode 100644 lang/fstar/files/patch-no-install-checked
 create mode 100644 lang/fstar/files/patch-ocaml4.08
 create mode 100644 lang/fstar/files/patch-z3-path
 create mode 100644 sysutils/fstar_select/Portfile
 create mode 100644 sysutils/fstar_select/files/base
 create mode 100644 sysutils/fstar_select/files/none
 create mode 100644 sysutils/kremlin_select/Portfile
 create mode 100644 sysutils/kremlin_select/files/base
 create mode 100644 sysutils/kremlin_select/files/none



More information about the macports-changes mailing list