From e6837cd890b220674c70fcab0e5d480a266091b2 Mon Sep 17 00:00:00 2001
From: milisbir <milisarge@gmail.com>
Date: Mon, 16 Apr 2018 02:41:33 +0300
Subject: [PATCH] ocaml-kutuphaneleri

---
 talimatname/genel/f/fstar/talimat        |  2 +-
 talimatname/genel/o/ocaml-stdint/talimat | 22 ++++++++++++++++++++++
 2 files changed, 23 insertions(+), 1 deletion(-)
 create mode 100644 talimatname/genel/o/ocaml-stdint/talimat

diff --git a/talimatname/genel/f/fstar/talimat b/talimatname/genel/f/fstar/talimat
index 07b1fdbad..308a27a52 100644
--- a/talimatname/genel/f/fstar/talimat
+++ b/talimatname/genel/f/fstar/talimat
@@ -1,7 +1,7 @@
 # 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
+# Gerekler: ocaml ocaml-findlib ocaml-menhir ocaml-pprint ocaml-yojson ocaml-batteries ocaml-stdint zarith
 # Grup: programlama
 
 isim=fstar
diff --git a/talimatname/genel/o/ocaml-stdint/talimat b/talimatname/genel/o/ocaml-stdint/talimat
new file mode 100644
index 000000000..87d6b8c46
--- /dev/null
+++ b/talimatname/genel/o/ocaml-stdint/talimat
@@ -0,0 +1,22 @@
+# Tanım: ocaml tamsayı kütüphanesi
+# URL: https://github.com/andrenth/ocaml-stdint
+# Paketçi: milisarge
+# Gerekler: ocamlbuild ocaml-findlib 
+# Grup: kütüphane
+
+isim=ocaml-stdint
+surum=git
+devir=1
+kaynak=()
+
+derle() {
+  git_indir https://github.com/andrenth/ocaml-stdint.git $isim
+  cd "$SRC/$isim"
+  export OCAMLFIND_DESTDIR="${PKG}$(ocamlfind printconf destdir)"
+  ocaml setup.ml -configure --destdir "${PKG}"
+  make all
+  mkdir -p "${OCAMLFIND_DESTDIR}"
+  export OCAMLFIND_LDCONF=FOOBAR
+  ocaml setup.ml -install --destdir "$PKG"
+  rm -r "$PKG/usr/local"
+}