milislinux
/
milis
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ocaml-kutuphaneleri

This commit is contained in:
milisbir 2018-04-16 02:41:33 +03:00
parent 4e12987f1f
commit e6837cd890
2 changed files with 23 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
talimatname/genel/f/fstar/talimat
View File

@ -1,7 +1,7 @@
# Tanım: Program Doğrulama için Tasarlanmış Verimli Bir Dil # Tanım: Program Doğrulama için Tasarlanmış Verimli Bir Dil
# URL: https://fstar-lang.org/ # URL: https://fstar-lang.org/
# Paketçi: Cihan_Alkan # 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 # Grup: programlama
isim=fstar isim=fstar

22
talimatname/genel/o/ocaml-stdint/talimat Normal file
View File

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