From 43590d0e0f86c51e7147f0d6c3e11b69cf8ee22a Mon Sep 17 00:00:00 2001
From: milisbir <milisarge@gmail.com>
Date: Mon, 16 Apr 2018 02:20:12 +0300
Subject: [PATCH] fstar-programlama-dili

---
 talimatname/genel/f/fstar/talimat | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 talimatname/genel/f/fstar/talimat

diff --git a/talimatname/genel/f/fstar/talimat b/talimatname/genel/f/fstar/talimat
new file mode 100644
index 000000000..07b1fdbad
--- /dev/null
+++ b/talimatname/genel/f/fstar/talimat
@@ -0,0 +1,21 @@
+# 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
+}