milis/talimatname/genel/o/opam/talimat

# Tanım: Ocaml paket yöneticisi.
# URL: http://opam.ocaml.org
# Paketçi: milisarge
# Gerekler: aspcud ocaml unzip

isim=opam
surum=1.2.2
devir=1
kaynak=(https://github.com/ocaml/opam/releases/download/$surum/opam-full-$surum.tar.gz::$isim-$surum.tar.xz)

derle() {
	cd "opam-full-$surum"
	./configure --prefix=/usr
	make -j1 lib-ext all
	make -C "$SRC/opam-full-$surum" DESTDIR="$PKG" install
}
-												türkçe-tanımlar

											
										
										
											2017-10-27 20:46:27 +02:00
+								# Tanım: Ocaml paket yöneticisi.
-												opam.paketlendi

											
										
										
											2017-09-12 10:16:35 +02:00
+								# URL: http://opam.ocaml.org
-												türkçe-tanımlar

											
										
										
											2017-10-27 20:46:27 +02:00
+								# Paketçi: milisarge
 								# Gerekler: aspcud ocaml unzip
-												opam.paketlendi

											
										
										
											2017-09-12 10:16:35 +02:00
-												talimat-türkçe

											
										
										
											2017-10-28 14:10:23 +02:00
+								isim=opam
 								surum=1.2.2
 								devir=1
 								kaynak=(https://github.com/ocaml/opam/releases/download/$surum/opam-full-$surum.tar.gz::$isim-$surum.tar.xz)
-												opam.paketlendi

											
										
										
											2017-09-12 10:16:35 +02:00
-												derle-yordam

											
										
										
											2017-10-27 23:59:41 +02:00
+								derle() {
-												talimat-türkçe

											
										
										
											2017-10-28 14:10:23 +02:00
+									cd "opam-full-$surum"
-												opam.paketlendi

											
										
										
											2017-09-12 10:16:35 +02:00
+									./configure --prefix=/usr
 									make -j1 lib-ext all
-												talimat-türkçe

											
										
										
											2017-10-28 14:10:23 +02:00
+									make -C "$SRC/opam-full-$surum" DESTDIR="$PKG" install
-												opam.paketlendi

											
										
										
											2017-09-12 10:16:35 +02:00
+								}