22 lines
592 B
Plaintext
22 lines
592 B
Plaintext
|
# 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 zarith
|
|||
|
|
# Grup: programlama
|
|||
|
|
|
|||
|
|
isim=fstar
|
|||
|
|
surum=0.9.5.0
|
|||
|
|
devir=1
|
|||
|
|
kaynak=(https://github.com/FStarLang/FStar/archive/v$surum.zip::$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
|
|||
|
|
}
|