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: | Apache |
| Submitter: | crave |
| Maintainer: | crave |
| Last Packager: | crave |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2018-07-27 09:31 (UTC) |
| Last Updated: | 2018-10-13 09:10 (UTC) |
Dependencies (13)
- ocaml
- ocaml-batteriesAUR (ocaml-batteries-gitAUR) (make)
- ocaml-fileutilsAUR (make)
- ocaml-findlib (make)
- ocaml-menhirAUR (make)
- ocaml-pprintAUR (make)
- ocaml-ppx_derivingAUR (ocaml-ppx_deriving-gitAUR) (make)
- ocaml-ppx_deriving_yojson (ocaml-ppx_deriving_yojson-gitAUR) (make)
- ocaml-stdint (ocaml-stdint-gitAUR) (make)
- ocaml-yojsonAUR (ocaml-yojson-gitAUR, ocaml-yojsonAUR) (make)
- ocaml-zarith (make)
- ocamlbuild (make)
- ulex-gitAUR (make)
Latest Comments
catalin.hritcu commented on 2019-10-13 08:48 (UTC)
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 (UTC)
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 (UTC) (edited on 2018-10-06 17:17 (UTC) by catalin.hritcu)
Ah, and for now it would actually help if you could change the
ulexbuild dependency toulex-git, since that package actually works with OCaml 4.07.0. Withulex-gitI was finally successful in building your package :)catalin.hritcu commented on 2018-10-06 16:02 (UTC) (edited on 2018-10-06 16:15 (UTC) by catalin.hritcu)
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-fstarpackage is missing a build dependency on https://aur.archlinux.org/packages/ocaml-process-git/catalin.hritcu commented on 2018-09-25 12:23 (UTC)
@crave: Thanks for the suggestion, but unfortunately running
opam initdidn'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 (UTC)
@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 (UTC)
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/