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
|
|
|
|
|
|
}
|
