Skip to Content.
Sympa Menu

sm-commit - [SM-Commit] GIT changes to master grimoire by Juuso Alasuutari (462248fe0bd9d38a93c1ea53ca908ce9a2e67425)

sm-commit AT lists.ibiblio.org

Subject: Source Mage code commit list

List archive

Chronological Thread  
  • From: Juuso Alasuutari <scm AT sourcemage.org>
  • To: sm-commit AT lists.ibiblio.org
  • Subject: [SM-Commit] GIT changes to master grimoire by Juuso Alasuutari (462248fe0bd9d38a93c1ea53ca908ce9a2e67425)
  • Date: Mon, 19 May 2008 16:26:51 -0500

GIT changes to master grimoire by Juuso Alasuutari <iuso AT sourcemage.org>:

ChangeLog | 3 +++
devel/sparse/BUILD | 1 +
devel/sparse/DETAILS | 21 +++++++++++++++++++++
devel/sparse/HISTORY | 2 ++
devel/sparse/PRE_BUILD | 4 ++++
devel/splint/BUILD | 9 +++------
devel/splint/DETAILS | 10 +++++-----
devel/splint/HISTORY | 5 +++++
8 files changed, 44 insertions(+), 11 deletions(-)

New commits:
commit 462248fe0bd9d38a93c1ea53ca908ce9a2e67425
Author: Juuso Alasuutari <iuso AT sourcemage.org>
Commit: Juuso Alasuutari <iuso AT sourcemage.org>

splint 3.1.2

commit 2117fc7e49b91de042e975599fd88cbb889e3a2d
Author: Juuso Alasuutari <iuso AT sourcemage.org>
Commit: Juuso Alasuutari <iuso AT sourcemage.org>

sparse: New spell, a semantic parser of C source files.

diff --git a/ChangeLog b/ChangeLog
index 3f50229..fa55944 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,6 @@
+2008-05-20 Juuso Alasuutari <iuso AT sourcemage.org>
+ * devel/sparse: New spell, a semantic parser of C source files.
+
2008-05-18 Ladislav Hagara <hgr AT vabo.cz>
* groups: added vlock (gid=163)

diff --git a/devel/sparse/BUILD b/devel/sparse/BUILD
new file mode 100755
index 0000000..8f58e6d
--- /dev/null
+++ b/devel/sparse/BUILD
@@ -0,0 +1 @@
+make
diff --git a/devel/sparse/DETAILS b/devel/sparse/DETAILS
new file mode 100755
index 0000000..80ad4a4
--- /dev/null
+++ b/devel/sparse/DETAILS
@@ -0,0 +1,21 @@
+ SPELL=sparse
+ VERSION=0.4.1
+ SOURCE=$SPELL-$VERSION.tar.bz2
+ SOURCE2=$SPELL-$VERSION.tar.bz2.sign
+ SOURCE_URL[0]=http://kernel.org/pub/software/devel/sparse/dist/$SOURCE
+ SOURCE2_URL[0]=${SOURCE_URL[0]}.sign
+ SOURCE_GPG=kernel.gpg:$SOURCE2:ESTABLISHED_UPSTREAM_KEY
+SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
+ LICENSE[0]=http://www.opensource.org/licenses/osl.php
+ WEB_SITE=http://www.kernel.org/pub/software/devel/sparse/
+ KEYWORS="devel"
+ ENTERED=20080520
+ SHORT="A semantic parser of ANSI C/GCC source files"
+cat << EOF
+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.
+EOF
diff --git a/devel/sparse/HISTORY b/devel/sparse/HISTORY
new file mode 100644
index 0000000..b4c5856
--- /dev/null
+++ b/devel/sparse/HISTORY
@@ -0,0 +1,2 @@
+2008-05-20 Juuso Alasuutari <iuso AT sourcemage.org>
+ * DETAILS, PRE_BUILD, BUILD: Created spell.
diff --git a/devel/sparse/PRE_BUILD b/devel/sparse/PRE_BUILD
new file mode 100755
index 0000000..6efe982
--- /dev/null
+++ b/devel/sparse/PRE_BUILD
@@ -0,0 +1,4 @@
+default_pre_build &&
+cd "$SOURCE_DIRECTORY" &&
+
+sed -i "s|^PREFIX=.*$|PREFIX=\"$INSTALL_ROOT/usr\"|" Makefile
diff --git a/devel/splint/BUILD b/devel/splint/BUILD
index e34eccc..feceeab 100755
--- a/devel/splint/BUILD
+++ b/devel/splint/BUILD
@@ -1,6 +1,3 @@
- ./configure --build=$BUILD \
- --prefix=/usr \
- --sysconfdir=/etc \
- --localstatedir=/var \
- $OPTS &&
- make
+make_single &&
+default_build &&
+make_normal
diff --git a/devel/splint/DETAILS b/devel/splint/DETAILS
index 5ae947d..665fd72 100755
--- a/devel/splint/DETAILS
+++ b/devel/splint/DETAILS
@@ -1,14 +1,14 @@
SPELL=splint
- VERSION=3.1.1
+ VERSION=3.1.2
SOURCE=$SPELL-$VERSION.src.tgz
-SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
+SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
SOURCE_URL[0]=http://www.splint.org/downloads/$SOURCE
-
SOURCE_HASH=sha512:26342ff5d5023b54bf679ccecb4eb950468f0aa73096fdba6204340f279a0cbd7586ee438dcd6158e24581b83f99ee485d7edbabb1e09727b979472f05cac5b8
- WEB_SITE=http://lclint.cs.virginia.edu/
+
SOURCE_HASH=sha512:9bbf3f6575763c022940efde947f845f52095a1bcf645f7f4a98feb335b62d2bd50d78420e7fe95f81eb139b110d8fe48112b025deace45f7994360b20d47e0b
+ WEB_SITE=http://www.splint.org/
ENTERED=20030514
LICENSE[0]=GPL
KEYWORDS="security devel"
- SHORT="Splint is a tool for statically checking C programs for
security vulnerabilities and coding mistakes."
+ SHORT="A tool for statically checking C programs for security
vulnerabilities and coding mistakes"
cat << EOF
Splint is a tool for statically checking C programs for security
vulnerabilities and coding mistakes. With minimal effort, Splint can be
diff --git a/devel/splint/HISTORY b/devel/splint/HISTORY
index 8c90069..44d48b7 100644
--- a/devel/splint/HISTORY
+++ b/devel/splint/HISTORY
@@ -1,3 +1,8 @@
+2008-05-20 Juuso Alasuutari <iuso AT sourcemage.org>
+ * DETAILS: Updated to 3.1.2, corrected WEB_SITE.
+ * BUILD: Replaced ./configure && make with default_build,
+ added make_single && make normal to fix build.
+
2006-10-03 Juuso Alasuutari <iuso AT sourcemage.org>
* DETAILS: [automated] Removed UPDATED.




  • [SM-Commit] GIT changes to master grimoire by Juuso Alasuutari (462248fe0bd9d38a93c1ea53ca908ce9a2e67425), Juuso Alasuutari, 05/19/2008

Archive powered by MHonArc 2.6.24.

Top of Page