Search Criteria
Package Details: ocaml-fstar 0.9.6.0-4
Git Clone URL: | https://aur.archlinux.org/ocaml-fstar.git (read-only, click to copy) |
---|---|
Package Base: | ocaml-fstar |
Description: | An ML-like language with a type system for program verification. |
Upstream URL: | None |
Licenses: | |
Submitter: | crave |
Maintainer: | None |
Last Packager: | crave |
Votes: | 1 |
Popularity: | 0.000000 |
First Submitted: | 2018-07-27 09:31 |
Last Updated: | 2018-10-13 09:10 |
Dependencies (13)
- ocaml
- ocaml-batteries (ocaml-batteries-git) (make)
- ocaml-fileutils (ocaml-fileutils-yypkg) (make)
- ocaml-findlib (make)
- ocaml-menhir (ocaml-menhir-compcert) (make)
- ocaml-pprint (make)
- ocaml-ppx_deriving (ocaml-ppx_deriving-git) (make)
- ocaml-ppx_deriving_yojson (ocaml-ppx_deriving_yojson-git) (make)
- ocaml-stdint (ocaml-stdint-git) (make)
- ocaml-yojson (ocaml-yojson-git) (make)
- ocaml-zarith (make)
- ocamlbuild (make)
- ulex-git (make)
Latest Comments
catalin.hritcu commented on 2019-10-13 08:48
What's the difference to https://aur.archlinux.org/packages/fstar ? Originally this other package bootstrapped in fsharp, but now it seems to use the OCaml snapshot too.
catalin.hritcu commented on 2019-10-13 08:19
The latest F* release is this: https://github.com/FStarLang/FStar/releases/tag/V0.9.7.0-alpha1
catalin.hritcu commented on 2018-10-06 16:14
Ah, and for now it would actually help if you could change the
ulex
build dependency toulex-git
, since that package actually works with OCaml 4.07.0. Withulex-git
I was finally successful in building your package :)catalin.hritcu commented on 2018-10-06 16:02
After getting unstuck on https://aur.archlinux.org/packages/ocaml-ppx_deriving/ I got stuck again on https://aur.archlinux.org/packages/ulex/
In the process I already discovered that this
ocaml-fstar
package is missing a build dependency on https://aur.archlinux.org/packages/ocaml-process-git/catalin.hritcu commented on 2018-09-25 12:23
@crave: Thanks for the suggestion, but unfortunately running
opam init
didn't help for me. Can you please confirm that you're able to build ocaml-ppx_deriving with the following packages installed from the arch repos: ocaml-4.07.0-1, ocamlbuild-0.12.0-3, and cppo-1.6.4-1?crave commented on 2018-09-14 22:18
@catalin.hritcu If I recall correctly the ocaml-ppx_deriving package is quite "unique". I believe it requires you to run opam init for your local user.
catalin.hritcu commented on 2018-09-07 08:26
Interesting package, but with so many moving source dependencies it seems really hard to get this to build, compared to just using opam. After some pain I got stuck on trying to build https://aur.archlinux.org/packages/ocaml-ppx_deriving/