diff options
author | Dimitris Zlatanidis <d.zlatanidis@gmail.com> | 2014-02-19 23:30:04 +0700 |
---|---|---|
committer | Erik Hanson <erik@slackbuilds.org> | 2014-02-21 14:41:02 -0600 |
commit | 4f35a1144bd059f1e2a3c57165f80592030e8cac (patch) | |
tree | 83e5745165a2c5afd5db82b736438e107a5856d8 /development/menhir | |
parent | 4c25b24b71c681867dd954e50997eab84d2801fd (diff) |
development/menhir: Added (OCaml parser generator).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/menhir')
-rw-r--r-- | development/menhir/README | 2 | ||||
-rw-r--r-- | development/menhir/menhir.SlackBuild | 104 | ||||
-rw-r--r-- | development/menhir/menhir.info | 10 | ||||
-rw-r--r-- | development/menhir/slack-desc | 19 |
4 files changed, 135 insertions, 0 deletions
diff --git a/development/menhir/README b/development/menhir/README new file mode 100644 index 0000000000000..c23cf7d8a3988 --- /dev/null +++ b/development/menhir/README @@ -0,0 +1,2 @@ +Menhir is a LR(1) parser generator for the OCaml programming language. +That is, Menhir compiles LR(1) grammar specifications down to OCaml code. diff --git a/development/menhir/menhir.SlackBuild b/development/menhir/menhir.SlackBuild new file mode 100644 index 0000000000000..cda403ac55d80 --- /dev/null +++ b/development/menhir/menhir.SlackBuild @@ -0,0 +1,104 @@ +#!/bin/sh + +# Slackware build script for menhir + +# Copyright 2014 Dimitris Zlatanidis Greece-Orestiada +# All rights reserved. +# +# Redistribution and use of this script, with or without modification, is +# permitted provided that the following conditions are met: +# +# 1. Redistributions of this script must retain the above copyright +# notice, this list of conditions and the following disclaimer. +# +# THIS SOFTWARE IS PROVIDED BY THE AUTHOR "AS IS" AND ANY EXPRESS OR IMPLIED +# WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF +# MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO +# EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, +# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; +# OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, +# WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR +# OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF +# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + +PRGNAM=menhir +VERSION=${VERSION:-20130911} +BUILD=${BUILD:-1} +TAG=${TAG:-_SBo} + +if [ -z "$ARCH" ]; then + case "$( uname -m )" in + i?86) ARCH=i486 ;; + arm*) ARCH=arm ;; + *) ARCH=$( uname -m ) ;; + esac +fi + +CWD=$(pwd) +TMP=${TMP:-/tmp/SBo} +PKG=$TMP/package-$PRGNAM +OUTPUT=${OUTPUT:-/tmp} + +if [ "$ARCH" = "i486" ]; then + SLKCFLAGS="-O2 -march=i486 -mtune=i686" + LIBDIRSUFFIX="" +elif [ "$ARCH" = "i686" ]; then + SLKCFLAGS="-O2 -march=i686 -mtune=i686" + LIBDIRSUFFIX="" +elif [ "$ARCH" = "x86_64" ]; then + SLKCFLAGS="-O2 -fPIC" + LIBDIRSUFFIX="64" +else + SLKCFLAGS="-O2" + LIBDIRSUFFIX="" +fi + +set -e + +# Fixed already installed menhirlib from findlib +# This is needed for reinstallation/upgrade process +cd /usr/lib${LIBDIRSUFFIX}/ocaml/site-lib/ +rm -rf menhirLib + +rm -rf $PKG +mkdir -p $TMP $PKG $OUTPUT +cd $TMP +rm -rf $PRGNAM-$VERSION +tar xvf $CWD/$PRGNAM-$VERSION.tar.gz +cd $PRGNAM-$VERSION +chown -R root:root . +find -L . \ + \( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 \ + -o -perm 511 \) -exec chmod 755 {} \; -o \ + \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \ + -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; + +CFLAGS="$SLKCFLAGS" \ +CXXFLAGS="$SLKCFLAGS" \ +make install PREFIX=$PKG/usr + +find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \ + | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true + +find $PKG -name perllocal.pod \ + -o -name ".packlist" \ + -o -name "*.bs" \ + | xargs rm -f + +mkdir -p $PKG/usr/man +mv $PKG/usr/share/man/man1 $PKG/usr/man +rm -rf $PKG/usr/share/man + +find $PKG/usr/man -type f -exec gzip -9 {} \; +for i in $( find $PKG/usr/man -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done + +mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION +cp -a AUTHORS CHANGES INSTALLATION LICENSE manual.pdf $PKG/usr/doc/$PRGNAM-$VERSION +cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild + +mkdir -p $PKG/install +cat $CWD/slack-desc > $PKG/install/slack-desc + +cd $PKG +/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.${PKGTYPE:-tgz} diff --git a/development/menhir/menhir.info b/development/menhir/menhir.info new file mode 100644 index 0000000000000..b6f41b46adc8f --- /dev/null +++ b/development/menhir/menhir.info @@ -0,0 +1,10 @@ +PRGNAM="menhir" +VERSION="20130911" +HOMEPAGE="http://cristal.inria.fr/~fpottier/menhir/" +DOWNLOAD="http://cristal.inria.fr/~fpottier/menhir/menhir-20130911.tar.gz" +MD5SUM="66374f3626f9403b37eed43819210113" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="ocaml-findlib" +MAINTAINER="Dimitris Zlatanidis" +EMAIL="d.zlatanidis@gmail.com" diff --git a/development/menhir/slack-desc b/development/menhir/slack-desc new file mode 100644 index 0000000000000..883339ed1ba52 --- /dev/null +++ b/development/menhir/slack-desc @@ -0,0 +1,19 @@ +# HOW TO EDIT THIS FILE: +# The "handy ruler" below makes it easier to edit a package description. +# Line up the first '|' above the ':' following the base package name, and +# the '|' on the right side marks the last column you can put a character in. +# You must make exactly 11 lines for the formatting to be correct. It's also +# customary to leave one space after the ':' except on otherwise blank lines. + + |-----handy-ruler------------------------------------------------------| +menhir: menhir (OCaml parser generator) +menhir: +menhir: Menhir is a LR(1) parser generator for the OCaml programming +menhir: language. That is, Menhir compiles LR(1) grammar specifications +menhir: down to OCaml code. +menhir: +menhir: Homepage: http://cristal.inria.fr/~fpottier/menhir/ +menhir: +menhir: +menhir: +menhir: |