Search Criteria
Package Details: fstar-git 20191019-1
Git Clone URL: | https://aur.archlinux.org/fstar-git.git (read-only, click to copy) |
---|---|
Package Base: | fstar-git |
Description: | A Higher-Order Effectful Language Designed for Program Verification |
Upstream URL: | https://fstar-lang.org/ |
Keywords: | F* ML verification |
Licenses: | |
Conflicts: | |
Provides: | |
Submitter: | soimort |
Maintainer: | soimort |
Last Packager: | soimort |
Votes: | 6 |
Popularity: | 0.000000 |
First Submitted: | 2014-10-27 10:48 |
Last Updated: | 2019-10-19 23:55 |
Dependencies (16)
- z3-git
- ocaml-batteries (ocaml-batteries-git) (make)
- ocaml-fileutils (ocaml-fileutils-yypkg) (make)
- ocaml-findlib (make)
- ocaml-menhir (ocaml-menhir-compcert) (make)
- ocaml-migrate-parsetree (ocaml-migrate-parsetree-git) (make)
- ocaml-num (make)
- ocaml-pprint (make)
- ocaml-ppx_deriving (ocaml-ppx_deriving-git) (make)
- ocaml-ppx_deriving_yojson (ocaml-ppx_deriving_yojson-git) (make)
- ocaml-process (ocaml-process-git) (make)
- ocaml-stdint (ocaml-stdint-git) (make)
- ocaml-yojson (ocaml-yojson-git) (make)
- ulex-git (make)
- zarith (ocaml-zarith) (make)
- ocaml>=4.03 (make)
Required by (2)
- fstar-ulib (requires fstar)
- kremlin
Latest Comments
catalin.hritcu commented on 2017-10-29 18:59
This works again on OCaml 4.05.0, now that the following was fixed https://github.com/FStarLang/FStar/pull/1302
soimort commented on 2016-09-01 21:20
@mdl Fixed. Thanks!
mdl commented on 2016-08-29 10:35
https://github.com/FStarLang/FStar/issues/648
Since the PKGBUILD does not use the install target of the makefile, it needs to be updated to copy the proper directories.
soimort commented on 2015-10-09 16:33
Seems the new F* version no longer requires mono or F# as hard dependencies (/opt/fstar/bin/fstar.exe can be built with ocaml instead of mono)
I've updated this accordingly.
ngrimm commented on 2015-10-08 16:25
I uploaded a working PKGBUILD at http://pastebin.com/fnFbaeDc
ngrimm commented on 2015-10-08 16:18
The binary in /usr/bin is not working.
Also, I think it would be better to create the standalone ocaml binary instaead of executing fstart through mono.
Ramon commented on 2014-10-27 11:33
z3 is not properly marked as a dependency (neither are mono and fsharp, but I had those :) ).
Ramon commented on 2014-10-27 11:33
z3 is not properly marked as a dependency (neither do mono and fsharp, but I had those :) ).