Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-16 19:50:19 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

libraries/ocaml-ounit: Updated for version 2.0.0 + new maintainer.

Browse source 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Markus Hutmacher 2014-05-24 21:19:15 +07:00 committed by Willy Sudiarto Raharjo
parent 6c6f7d32de
commit 2a43dc3211
2 changed files with 9 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
libraries/ocaml-ounit/ocaml-ounit.SlackBuild
View file

@ -1,6 +1,7 @@
#!/bin/sh
# Copyright 2012 Jockey S. Kyd, Shanghai, CHN
# Copyright 2012 - 2014 Jockey S. Kyd, Shanghai, CHN
# Copyright 2014 Markus Hutmacher <mailing@markhu.de>
# All rights reserved.
#
# Redistribution and use of this script, with or without modification, is
@ -21,7 +22,7 @@
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
PRGNAM=ocaml-ounit
VERSION=${VERSION:-1.1.2}
VERSION=${VERSION:-2.0.0}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
@ -86,9 +87,7 @@ find $PKG -print0 | xargs -0 file \
|| true
mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
cp -a \
*.txt changelog doc/manual.txt examples \
$PKG/usr/doc/$PRGNAM-$VERSION
cp -a *.txt changelog doc/manual.txt examples $PKG/usr/doc/$PRGNAM-$VERSION
cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild
mkdir -p $PKG/install

10
libraries/ocaml-ounit/ocaml-ounit.info
View file

@ -1,10 +1,10 @@
PRGNAM="ocaml-ounit"
VERSION="1.1.2"
VERSION="2.0.0"
HOMEPAGE="http://ounit.forge.ocamlcore.org/"
DOWNLOAD="https://forge.ocamlcore.org/frs/download.php/886/ounit-1.1.2.tar.gz"
MD5SUM="14e4d8ee551004dbcc1607f438ef7d83"
DOWNLOAD="http://forge.ocamlcore.org/frs/download.php/1258/ounit-2.0.0.tar.gz"
MD5SUM="2e0a24648c55005978d4923eb4925b28"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES="ocaml-findlib"
MAINTAINER="Jockey S. Kyd"
EMAIL="jockey.kyd@gmail.com"
MAINTAINER="Markus Hutmacher"
EMAIL="mailing@markhu.de"