diff options
| author | Juergen Daubert <jue@jue.li> | 2018-10-08 11:59:33 +0200 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2018-10-08 11:59:33 +0200 |
| commit | 7e29cf95270580bc07f7cfdd29fe19db77b911d2 (patch) | |
| tree | 456111c464ae92712c1a2283e6345c9acd126eca /ocaml | |
| parent | 6b4b00e5cfc912602d20d1df0177282e015809e2 (diff) | |
| download | opt-7e29cf95270580bc07f7cfdd29fe19db77b911d2.tar.gz opt-7e29cf95270580bc07f7cfdd29fe19db77b911d2.tar.xz | |
ocaml: update to 4.07.1
Diffstat (limited to 'ocaml')
| -rw-r--r-- | ocaml/.signature | 6 | ||||
| -rw-r--r-- | ocaml/Pkgfile | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/ocaml/.signature b/ocaml/.signature index ad7ae5592..055e4f73d 100644 --- a/ocaml/.signature +++ b/ocaml/.signature @@ -1,5 +1,5 @@ untrusted comment: verify with /etc/ports/opt.pub -RWSE3ohX2g5d/albSAepgHQaEoJGX/uB2kk3uXvI2PEphI0CpLWK/HzlWQEES6O0Z/FOnoBkZbiuJsohkd5u+qlN1v7914AtbAo= -SHA256 (Pkgfile) = 46e008fdb0a1d0adbb5249a34b53b61e8140d5c8b12375496b96f0c354f6696d +RWSE3ohX2g5d/dF8zOGwM+tqTrmJbHgyuRrn5YJOrMDOZgFOJsGmzvdxr15EB2L49uIySf9rRy5gzMVlH0gG72NNdrj5f2Zg0AI= +SHA256 (Pkgfile) = d7a4b919da7bc2b582faf368df4da5b06593fe2ebe350d9d3e3e9be3cba96418 SHA256 (.footprint) = affa78eeae3c52dd43deaa849ad057a349df39995c74a8baad81deb25e0a4e57 -SHA256 (ocaml-4.07.0.tar.xz) = f45bf720aadf5c6408400d5179b92ea7130b7e55e501a1768c2d136ef69f9f0f +SHA256 (ocaml-4.07.1.tar.xz) = dfe48b1da31da9c82d77612582fae74c80e8d1ac650e1c24f5ac9059e48307b8 diff --git a/ocaml/Pkgfile b/ocaml/Pkgfile index 064750f8a..204f5ff95 100644 --- a/ocaml/Pkgfile +++ b/ocaml/Pkgfile @@ -2,17 +2,17 @@ # URL: http://caml.inria.fr/ # Maintainer: Juergen Daubert, jue at crux dot nu # Packager: Erlend Bergsas Mikkelsen, howl at online dot no -# Depends on: binutils ncurses +# Depends on: binutils name=ocaml -version=4.07.0 +version=4.07.1 release=1 source=(http://caml.inria.fr/pub/distrib/$name-${version%.*}/$name-$version.tar.xz) build() { cd $name-$version ./configure -prefix /usr -mandir /usr/share/man -no-graph - make -j1 world.opt + make world.opt make DESTDIR=$PKG install chmod -R g-w $PKG } |