wok-current view splint/receipt @ rev 22203
linld: 8086 may load zImage (again)
| author | Pascal Bellard <pascal.bellard@slitaz.org> |
|---|---|
| date | Mon Nov 11 12:01:54 2019 +0100 (2019-11-11) |
| parents | 877323c753e7 |
| children | 934055de50e2 |
line source
1 # SliTaz package receipt.
3 PACKAGE="splint"
4 VERSION="3.1.2"
5 CATEGORY="development"
6 SHORT_DESC="A tool for statically checking C programs for security vulnerabilities and coding mistakes."
7 MAINTAINER="rocky@slitaz.org"
8 LICENSE="GPL2"
9 TARBALL="$PACKAGE-$VERSION.src.tgz"
10 WEB_SITE="http://www.splint.org/"
11 WGET_URL="http://www.splint.org/downloads/$TARBALL"
13 BUILD_DEPENDS="flex autoconf automake libtool"
15 # Rules to configure and make the package.
16 compile_rules()
17 {
18 autoreconf -i
19 ./configure $CONFIGURE_ARGS && make -j1 && make install
20 }
22 # Rules to gen a SliTaz package suitable for Tazpkg.
23 genpkg_rules()
24 {
25 mkdir -p $fs/usr
26 cp -a $install/usr/bin $fs/usr
27 cp -a $install/usr/share $fs/usr
28 }