ocaml.guncellendi

This commit is contained in:
milisbir 2017-09-12 10:15:19 +03:00
parent 6fd615cb6b
commit 4a8c84002c
3 changed files with 10 additions and 11 deletions

View File

@ -4,17 +4,15 @@
# Depends on:
name=ocaml
version=4.04.0
version=4.05.0
release=1
source=(http://caml.inria.fr/pub/distrib/$name-${version%.*}/$name-$version.tar.xz)
build() {
cd $name-$version
./configure -prefix /usr -with-pthread -no-graph
./configure -prefix /usr -x11include /usr/include -no-graph
make -j1 world.opt
make PREFIX=$PKG/usr install
local f
for f in $PKG/usr/bin/*.opt; do mv $f ${f%%.opt}; done
}

View File

@ -4,13 +4,13 @@
# Depends on: ocaml
name=ocamlbuild
version=0.9.3
version=0.11.0
release=1
source=(https://github.com/ocaml/${name}/archive/$version.tar.gz)
build() {
cd $name-$version
make configure OCAML_NATIVE_TOOLS=false
make -j1
make DESTDIR="$PKG/" install
make configure OCAMLBUILD_PREFIX=/usr
make
make install DESTDIR=$PKG
}

View File

@ -4,13 +4,14 @@
# Depends on:
name=re2c
version=0.13.7.5
version=1.0.2
release=1
source=(http://downloads.sourceforge.net/$name/$name-$version.tar.gz )
source=(https://github.com/skvadrik/re2c/archive/$version.tar.gz::$name-$version.tar.gz)
build() {
cd $name-$version
cd $name-$version/re2c
./autogen.sh
./configure --prefix=/usr
make
make DESTDIR=$PKG install