pkgsrc-WIP-changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

add package sparse



Module Name:	pkgsrc-wip
Committed By:	coypu <coypu%sdf.org@localhost>
Pushed By:	coypu
Date:		Sat Oct 15 23:06:13 2016 +0300
Changeset:	6d27b85a48189d5a2c47bee53f66a262e8b79309

Modified Files:
	Makefile
Added Files:
	sparse/DESCR
	sparse/Makefile
	sparse/PLIST
	sparse/distinfo
	sparse/patches/patch-Makefile
	sparse/patches/patch-cgcc

Log Message:
add package sparse

Sparse, the semantic parser, provides a compiler frontend capable
of parsing most of ANSI C as well as many GCC extensions, and a
collection of sample compiler backends, including a static analyzer
also called "sparse". Sparse provides a set of annotations designed
to convey semantic information about types, such as what address
space pointers point to, or what locks a function acquires or
releases.

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=6d27b85a48189d5a2c47bee53f66a262e8b79309

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 Makefile                      |  1 +
 sparse/DESCR                  |  7 +++++++
 sparse/Makefile               | 26 ++++++++++++++++++++++++++
 sparse/PLIST                  | 25 +++++++++++++++++++++++++
 sparse/distinfo               |  8 ++++++++
 sparse/patches/patch-Makefile | 30 ++++++++++++++++++++++++++++++
 sparse/patches/patch-cgcc     | 11 +++++++++++
 7 files changed, 108 insertions(+)

diffs:
diff --git a/Makefile b/Makefile
index dff2b1c..86bcd33 100644
--- a/Makefile
+++ b/Makefile
@@ -3893,6 +3893,7 @@ SUBDIR+=	spade
 SUBDIR+=	spai
 SUBDIR+=	spamassassin-cvs
 SUBDIR+=	spamd-devel
+SUBDIR+=	sparse
 SUBDIR+=	spatt
 SUBDIR+=	spe
 SUBDIR+=	speedx
diff --git a/sparse/DESCR b/sparse/DESCR
new file mode 100644
index 0000000..1a3e1df
--- /dev/null
+++ b/sparse/DESCR
@@ -0,0 +1,7 @@
+Sparse, the semantic parser, provides a compiler frontend capable
+of parsing most of ANSI C as well as many GCC extensions, and a
+collection of sample compiler backends, including a static analyzer
+also called "sparse". Sparse provides a set of annotations designed
+to convey semantic information about types, such as what address
+space pointers point to, or what locks a function acquires or
+releases.
diff --git a/sparse/Makefile b/sparse/Makefile
new file mode 100644
index 0000000..be8f7d4
--- /dev/null
+++ b/sparse/Makefile
@@ -0,0 +1,26 @@
+# $NetBSD$
+
+DISTNAME=	sparse-0.5.0
+CATEGORIES=	devel
+MASTER_SITES=	https://www.kernel.org/pub/software/devel/sparse/dist/
+
+MAINTAINER=	pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=	https://www.kernel.org/pub/software/devel/sparse/dist/
+COMMENT=	Semantic Parser for C
+LICENSE=	mit
+
+USE_TOOLS+=	gmake pkg-config
+
+PKGCONFIG_OVERRIDE+=	sparse.pc.in
+
+SUBST_CLASSES=			installflags
+SUBST_STAGE.installflags=	post-patch
+SUBST_FILES.installflags=	Makefile
+SUBST_SED.installflags=		-e 's,install -v,install,g'
+SUBST_MESSAGE.conf=		Remove verbose flag for install
+
+
+#.include "../../lang/llvm/buildlink3.mk"
+.include "../../x11/gtk2/buildlink3.mk"
+.include "../../textproc/libxml2/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/sparse/PLIST b/sparse/PLIST
new file mode 100644
index 0000000..b989bb4
--- /dev/null
+++ b/sparse/PLIST
@@ -0,0 +1,25 @@
+@comment $NetBSD$
+bin/c2xml
+bin/cgcc
+bin/sparse
+bin/test-inspect
+include/sparse/allocate.h
+include/sparse/bitmap.h
+include/sparse/compat.h
+include/sparse/dissect.h
+include/sparse/expression.h
+include/sparse/flow.h
+include/sparse/ident-list.h
+include/sparse/lib.h
+include/sparse/linearize.h
+include/sparse/parse.h
+include/sparse/ptrlist.h
+include/sparse/scope.h
+include/sparse/storage.h
+include/sparse/symbol.h
+include/sparse/target.h
+include/sparse/token.h
+lib/libsparse.a
+lib/pkgconfig/sparse.pc
+share/man/man1/cgcc.1
+share/man/man1/sparse.1
diff --git a/sparse/distinfo b/sparse/distinfo
new file mode 100644
index 0000000..e79e9e2
--- /dev/null
+++ b/sparse/distinfo
@@ -0,0 +1,8 @@
+$NetBSD$
+
+SHA1 (sparse-0.5.0.tar.gz) = 9a5a4fe98a8ba64465ec93d7b6ab419a9ef368e2
+RMD160 (sparse-0.5.0.tar.gz) = 566823986ca01eb924b74b03496b772972d3314a
+SHA512 (sparse-0.5.0.tar.gz) = 6c21735a4c9548771d51a8f22256122ee6f17489e830efd9b94ba28f58ee07038db4a55b13114b9ff9a70dbed7a668cab26275761ee12ff9be62a272c6be4221
+Size (sparse-0.5.0.tar.gz) = 239809 bytes
+SHA1 (patch-Makefile) = 2f31f0b28bf64b6c24fff2cd786f420f853222fb
+SHA1 (patch-cgcc) = 2525546ee8ea3ed52b3f3adc33add0365cf5cf49
diff --git a/sparse/patches/patch-Makefile b/sparse/patches/patch-Makefile
new file mode 100644
index 0000000..e124856
--- /dev/null
+++ b/sparse/patches/patch-Makefile
@@ -0,0 +1,30 @@
+$NetBSD$
+
+Allow ovrride of PREFIX
+
+--- Makefile.orig	2014-02-16 22:44:57.000000000 +0000
++++ Makefile
+@@ -42,7 +42,7 @@ BASIC_CFLAGS += -Wp,-MD,$(@D)/.$(@F).d
+ endif
+ 
+ DESTDIR=
+-PREFIX=$(HOME)
++PREFIX?=$(HOME)
+ BINDIR=$(PREFIX)/bin
+ LIBDIR=$(PREFIX)/lib
+ MANDIR=$(PREFIX)/share/man
+@@ -128,12 +128,12 @@ QUIET_INST_SH = $(Q:@=echo -n  '     INS
+ QUIET_INST    = $(Q:@=@echo -n '     INSTALL  ';)
+ 
+ define INSTALL_EXEC
+-	$(QUIET_INST)install -v $1 $(DESTDIR)$2/$1 || exit 1;
++	$(QUIET_INST)install $1 $(DESTDIR)$2/$1 || exit 1;
+ 
+ endef
+ 
+ define INSTALL_FILE
+-	$(QUIET_INST)install -v -m 644 $1 $(DESTDIR)$2/$1 || exit 1;
++	$(QUIET_INST)install -m 644 $1 $(DESTDIR)$2/$1 || exit 1;
+ 
+ endef
+ 
diff --git a/sparse/patches/patch-cgcc b/sparse/patches/patch-cgcc
new file mode 100644
index 0000000..2787c38
--- /dev/null
+++ b/sparse/patches/patch-cgcc
@@ -0,0 +1,11 @@
+$NetBSD$
+
+--- cgcc.orig	2014-02-16 22:44:57.000000000 +0000
++++ cgcc
+@@ -1,4 +1,5 @@
+-#!/usr/bin/perl -w
++#!/usr/bin/env perl
++use warnings;
+ # -----------------------------------------------------------------------------
+ 
+ my $cc = $ENV{'REAL_CC'} || 'cc';


Home | Main Index | Thread Index | Old Index