| 12345678910111213141516171819202122 |
- # Tanım: Program Doğrulama için Tasarlanmış Verimli Bir Dil
- # URL: https://fstar-lang.org/
- # Paketçi: Cihan_Alkan
- # Gerekler: ocaml ocaml-findlib ocaml-menhir ocaml-pprint ocaml-yojson ocaml-batteries ocaml-stdint zarith
- # Grup: geliştirme
- isim=fstar
- surum=0.9.5.0
- devir=1
- kaynak=(https://github.com/FStarLang/FStar/archive/v$surum.tar.gz::$isim-$surum.tar.gz)
- derle() {
- cd "FStar-$surum"
- # Step 3. Building F* from the OCaml snapshot
- make -C src/ocaml-output -j 3
- install -d -m755 $PKG/opt/fstar $PKG/usr/bin
- cp -r * $PKG/opt/fstar
- ln -s /opt/fstar/bin/fstar.exe $PKG/usr/bin/fstar
- }
|
