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