milis/talimatname/genel/f/fstar/talimat

22 lines
608 B
Plaintext
Raw Normal View History

2018-04-16 01:20:12 +02:00
# Tanım: Program Doğrulama için Tasarlanmış Verimli Bir Dil
# URL: https://fstar-lang.org/
# Paketçi: Cihan_Alkan
2018-04-16 01:41:33 +02:00
# Gerekler: ocaml ocaml-findlib ocaml-menhir ocaml-pprint ocaml-yojson ocaml-batteries ocaml-stdint zarith
2018-07-19 17:48:14 +02:00
# Grup: geliştirme
2018-04-16 01:20:12 +02:00
isim=fstar
surum=0.9.5.0
devir=1
2018-04-16 04:14:00 +02:00
kaynak=(https://github.com/FStarLang/FStar/archive/v$surum.tar.gz::$isim-$surum.tar.gz)
2018-04-16 01:20:12 +02:00
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
}