ocaml: update to 4.07.1
This commit is contained in:
parent
6b4b00e5cf
commit
7e29cf9527
@ -1,5 +1,5 @@
|
|||||||
untrusted comment: verify with /etc/ports/opt.pub
|
untrusted comment: verify with /etc/ports/opt.pub
|
||||||
RWSE3ohX2g5d/albSAepgHQaEoJGX/uB2kk3uXvI2PEphI0CpLWK/HzlWQEES6O0Z/FOnoBkZbiuJsohkd5u+qlN1v7914AtbAo=
|
RWSE3ohX2g5d/dF8zOGwM+tqTrmJbHgyuRrn5YJOrMDOZgFOJsGmzvdxr15EB2L49uIySf9rRy5gzMVlH0gG72NNdrj5f2Zg0AI=
|
||||||
SHA256 (Pkgfile) = 46e008fdb0a1d0adbb5249a34b53b61e8140d5c8b12375496b96f0c354f6696d
|
SHA256 (Pkgfile) = d7a4b919da7bc2b582faf368df4da5b06593fe2ebe350d9d3e3e9be3cba96418
|
||||||
SHA256 (.footprint) = affa78eeae3c52dd43deaa849ad057a349df39995c74a8baad81deb25e0a4e57
|
SHA256 (.footprint) = affa78eeae3c52dd43deaa849ad057a349df39995c74a8baad81deb25e0a4e57
|
||||||
SHA256 (ocaml-4.07.0.tar.xz) = f45bf720aadf5c6408400d5179b92ea7130b7e55e501a1768c2d136ef69f9f0f
|
SHA256 (ocaml-4.07.1.tar.xz) = dfe48b1da31da9c82d77612582fae74c80e8d1ac650e1c24f5ac9059e48307b8
|
||||||
|
@ -2,17 +2,17 @@
|
|||||||
# URL: http://caml.inria.fr/
|
# URL: http://caml.inria.fr/
|
||||||
# Maintainer: Juergen Daubert, jue at crux dot nu
|
# Maintainer: Juergen Daubert, jue at crux dot nu
|
||||||
# Packager: Erlend Bergsas Mikkelsen, howl at online dot no
|
# Packager: Erlend Bergsas Mikkelsen, howl at online dot no
|
||||||
# Depends on: binutils ncurses
|
# Depends on: binutils
|
||||||
|
|
||||||
name=ocaml
|
name=ocaml
|
||||||
version=4.07.0
|
version=4.07.1
|
||||||
release=1
|
release=1
|
||||||
source=(http://caml.inria.fr/pub/distrib/$name-${version%.*}/$name-$version.tar.xz)
|
source=(http://caml.inria.fr/pub/distrib/$name-${version%.*}/$name-$version.tar.xz)
|
||||||
|
|
||||||
build() {
|
build() {
|
||||||
cd $name-$version
|
cd $name-$version
|
||||||
./configure -prefix /usr -mandir /usr/share/man -no-graph
|
./configure -prefix /usr -mandir /usr/share/man -no-graph
|
||||||
make -j1 world.opt
|
make world.opt
|
||||||
make DESTDIR=$PKG install
|
make DESTDIR=$PKG install
|
||||||
chmod -R g-w $PKG
|
chmod -R g-w $PKG
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user