sm-commit AT lists.ibiblio.org
Subject: Source Mage code commit list
List archive
[SM-Commit] GIT changes to master grimoire by Ismael Luceno (8957b7982f9e0dc527b4a5a6fc1cf217c71fd714)
- From: Ismael Luceno <scm AT sourcemage.org>
- To: sm-commit AT lists.ibiblio.org
- Subject: [SM-Commit] GIT changes to master grimoire by Ismael Luceno (8957b7982f9e0dc527b4a5a6fc1cf217c71fd714)
- Date: Tue, 20 Aug 2019 19:36:19 +0000
GIT changes to master grimoire by Ismael Luceno <ismael AT sourcemage.org>:
ChangeLog | 5 +++++
devel/cil/DEPENDS | 4 ++++
devel/cil/DETAILS | 23 +++++++++++++++++++++++
devel/cil/HISTORY | 2 ++
devel/cil/PRE_BUILD | 4 ++++
devel/ocamlbuild/BUILD | 1 +
devel/ocamlbuild/DEPENDS | 1 +
devel/ocamlbuild/DETAILS | 21 +++++++++++++++++++++
devel/ocamlbuild/HISTORY | 2 ++
devel/rust/BUILD | 2 +-
devel/rust/CONFLICTS | 1 -
devel/rust/DETAILS | 1 +
devel/rust/HISTORY | 5 +++++
devel/z3/BUILD | 2 ++
devel/z3/DEPENDS | 1 +
devel/z3/DETAILS | 12 ++++++++++++
devel/z3/HISTORY | 2 ++
devel/z3/INSTALL | 1 +
libs/findlib/BUILD | 2 +-
libs/findlib/DETAILS | 4 ++--
libs/findlib/HISTORY | 4 ++++
perl-cpan/net-ssleay/DETAILS | 8 +++++---
perl-cpan/net-ssleay/HISTORY | 3 +++
security/nmap/DEPENDS | 5 +++++
security/nmap/DETAILS | 8 ++------
security/nmap/HISTORY | 6 ++++++
security/nmap/PRE_BUILD | 3 +++
27 files changed, 119 insertions(+), 14 deletions(-)
New commits:
commit 8957b7982f9e0dc527b4a5a6fc1cf217c71fd714
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>
nmap: Fix build against musl
commit 40d91f0b81f7018733c90c64752ef925cd98ab9b
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>
nmap 7.80
commit 487cf1baf802dfb147c0e31af9a30db0350c1137
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>
net-ssleay 1.88
commit 854c75b0ba4dc27f77af57fcc860388b802818ed
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>
cil: new spell, C Intermediate Language
commit c4483e65511909beb496ab8690584729e44da2d8
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>
findlib 1.8.1
commit 1ade138a1323569c7e02f88ce614238cd98a7379
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>
ocamlbuild: new spell, generic build tool
commit 33fb668917b5498dfe2528e98c59f69ec19654e4
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>
z3: new spell, The Z3 Theorem Prover
commit 5441f4885345dcbdd922b14a6c4216a98ca7d2a8
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>
rust: Remove conflict with itself
commit 6422c44336229383b028cd6404af2a58b2d71114
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>
rust: do an extended build, PATCHLEVEL++
Fixes: 31198c4ba487 ("rust: Rework bootstrapping")
diff --git a/ChangeLog b/ChangeLog
index dc0bdd1..b666d2b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2019-08-20 Ismael Luceno <ismael AT sourcemage.org>
+ * devel/z3: new spell, The Z3 Theorem Prover
+ * devel/ocamlbuild: new spell, generic build tool
+ * devel/cil: new spell, C Intermediate Language
+
2019-08-17 Vlad Glagolev <stealth AT sourcemage.org>
* utils/perf: new spell, Linux performance analyzing tool
diff --git a/devel/cil/DEPENDS b/devel/cil/DEPENDS
new file mode 100755
index 0000000..5783418
--- /dev/null
+++ b/devel/cil/DEPENDS
@@ -0,0 +1,4 @@
+depends perl &&
+depends ocaml &&
+depends ocamlbuild &&
+depends findlib
diff --git a/devel/cil/DETAILS b/devel/cil/DETAILS
new file mode 100755
index 0000000..12f5168
--- /dev/null
+++ b/devel/cil/DETAILS
@@ -0,0 +1,23 @@
+ SPELL=cil
+ VERSION=1.7.3+develop
+ REV_ID=936b04103eb573f320c6badf280e8bb17f6e7b26
+ SOURCE=cil-$REV_ID.tar.gz
+ SOURCE2=ce9f7edb28e031f48963dc8aa30c63dd8a8fb886.patch
+SOURCE_DIRECTORY="$BUILD_DIRECTORY/${SOURCE%.tar.gz}"
+ WEB_SITE=https://github.com/cil-project/cil
+ SOURCE_URL=("$WEB_SITE/archive/$REV_ID.tar.gz")
+ SOURCE2_URL=("$WEB_SITE/commit/$SOURCE2")
+
SOURCE_HASH=sha512:c5d19666d11e0e0481a9080b965f16a6572c6f428b8432abc6a965e89cd9c8f88d4bff8dd9859358ca783fb9a8dd831440ac8c65ba41c37b5317fffb0f7a270d
+ SOURCE2_HASH=sha512:
+ LICENSE=(BSD-3-Clause)
+ SHORT="C Intermediate Language"
+cat << EOF
+CIL is a front-end for the C programming language that facilitates program
+analysis and transformation. CIL will parse and typecheck a program, and
+compile it into a simplified subset of C.
+
+CIL supports ANSI C as well as most of the extensions of the GNU C and
+Microsoft C compilers. A Perl script acts as a drop in replacement for either
+gcc or Microsoft's cl, and allows merging of the source files in your
project.
+Other features include support for control-flow and points-to analyses.
+EOF
diff --git a/devel/cil/HISTORY b/devel/cil/HISTORY
new file mode 100644
index 0000000..ac37f57
--- /dev/null
+++ b/devel/cil/HISTORY
@@ -0,0 +1,2 @@
+2019-08-20 Ismael Luceno <ismael AT sourcemage.org>
+ * DEPENDS, DETAILS, PRE_BUILD: Spell created
diff --git a/devel/cil/PRE_BUILD b/devel/cil/PRE_BUILD
new file mode 100755
index 0000000..22c8c37
--- /dev/null
+++ b/devel/cil/PRE_BUILD
@@ -0,0 +1,4 @@
+default_pre_build &&
+cd "$SOURCE_DIRECTORY" &&
+patch -fp1 -i "$SOURCE_CACHE/$SOURCE2" &&
+sedit 's!maybe_os in$!& linux-musl*|\\!' config.sub
diff --git a/devel/ocamlbuild/BUILD b/devel/ocamlbuild/BUILD
new file mode 100755
index 0000000..1b2ae06
--- /dev/null
+++ b/devel/ocamlbuild/BUILD
@@ -0,0 +1 @@
+make configure all
diff --git a/devel/ocamlbuild/DEPENDS b/devel/ocamlbuild/DEPENDS
new file mode 100755
index 0000000..8da72f2
--- /dev/null
+++ b/devel/ocamlbuild/DEPENDS
@@ -0,0 +1 @@
+depends ocaml
diff --git a/devel/ocamlbuild/DETAILS b/devel/ocamlbuild/DETAILS
new file mode 100755
index 0000000..b40f6dd
--- /dev/null
+++ b/devel/ocamlbuild/DETAILS
@@ -0,0 +1,21 @@
+ SPELL=ocamlbuild
+ VERSION=0.14.0
+ SOURCE="$SPELL-$VERSION.tar.gz"
+SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
+ WEB_SITE=https://github.com/ocaml/ocamlbuild
+ SOURCE_URL=("$WEB_SITE/archive/$VERSION.tar.gz")
+
SOURCE_HASH=sha512:ae60247396399dfd35644c8c1986ef7679e5a9964df82e3388bfc6dd4c5b88a13d6869a698d14a9ac70dc48e4ce1c003f543c85426d8c862ca31dea37a554b07
+ LICENSE=(GPL-2.0-only)
+ SHORT="generic build tool"
+cat << EOF
+OCamlbuild is a generic build tool, that has built-in rules for building
OCaml
+library and programs.
+
+OCamlbuild's job is to determine the sequence of calls to the compiler, with
+the right set of command-line flags, needed to build your OCaml-centric
+software project.
+
+In recent years, the OCaml community has converged towards a more recent and
+faster build tool: Dune. If you are choosing a build system, you should
probably
+use Dune instead.
+EOF
diff --git a/devel/ocamlbuild/HISTORY b/devel/ocamlbuild/HISTORY
new file mode 100644
index 0000000..a56707f
--- /dev/null
+++ b/devel/ocamlbuild/HISTORY
@@ -0,0 +1,2 @@
+2019-08-20 Ismael Luceno <ismael AT sourcemage.org>
+ * BUILD, DEPENDS, DETAILS: Spell created
diff --git a/devel/rust/BUILD b/devel/rust/BUILD
index 35b90a3..3aa9e78 100755
--- a/devel/rust/BUILD
+++ b/devel/rust/BUILD
@@ -17,7 +17,7 @@ fi &&
--local-rust-root="$_rust_root" \
--enable-locked-deps \
--enable-vendor \
- --disable-extended \
+ --enable-extended \
--disable-docs \
--enable-llvm-link-shared \
$OPTS &&
diff --git a/devel/rust/CONFLICTS b/devel/rust/CONFLICTS
deleted file mode 100755
index edae60a..0000000
--- a/devel/rust/CONFLICTS
+++ /dev/null
@@ -1 +0,0 @@
-conflicts rust y
diff --git a/devel/rust/DETAILS b/devel/rust/DETAILS
index 767e3cb..3493b7a 100755
--- a/devel/rust/DETAILS
+++ b/devel/rust/DETAILS
@@ -1,5 +1,6 @@
SPELL=rust
VERSION=1.37.0
+ PATCHLEVEL=1
CARGO_VERSION=0.38.0
SOURCE_DIRECTORY=$BUILD_DIRECTORY/rustc-$VERSION-src
TMPFS=off
diff --git a/devel/rust/HISTORY b/devel/rust/HISTORY
index 811dcf4..3df4163 100644
--- a/devel/rust/HISTORY
+++ b/devel/rust/HISTORY
@@ -1,3 +1,8 @@
+2019-08-20 Ismael Luceno <ismael AT iodev.co.uk>
+ * DETAILS: PATCHLEVEL++
+ * BUILD: enable extended build (cargo and others)
+ * CONFLICTS: remove conflict with itself
+
2019-08-19 Ismael Luceno <ismael AT iodev.co.uk>
* BUILD, PRE_BUILD: Fixed build against musl
diff --git a/devel/z3/BUILD b/devel/z3/BUILD
new file mode 100755
index 0000000..6589170
--- /dev/null
+++ b/devel/z3/BUILD
@@ -0,0 +1,2 @@
+./configure &&
+make -C build
diff --git a/devel/z3/DEPENDS b/devel/z3/DEPENDS
new file mode 100755
index 0000000..8da72f2
--- /dev/null
+++ b/devel/z3/DEPENDS
@@ -0,0 +1 @@
+depends ocaml
diff --git a/devel/z3/DETAILS b/devel/z3/DETAILS
new file mode 100755
index 0000000..f1ad055
--- /dev/null
+++ b/devel/z3/DETAILS
@@ -0,0 +1,12 @@
+ SPELL=z3
+ VERSION=4.8.5
+ SOURCE=z3-Z3-$VERSION.tar.gz
+SOURCE_DIRECTORY="$BUILD_DIRECTORY/z3-Z3-$VERSION"
+ WEB_SITE=https://github.com/Z3Prover/z3
+ SOURCE_URL=("$WEB_SITE/archive/Z3-$VERSION.tar.gz")
+
SOURCE_HASH=sha512:ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309
+ LICENSE=(MIT)
+ SHORT="The Z3 Theorem Prover"
+cat << EOF
+Z3 is an SMT solver and supports the SMTLIB format.
+EOF
diff --git a/devel/z3/HISTORY b/devel/z3/HISTORY
new file mode 100644
index 0000000..093af70
--- /dev/null
+++ b/devel/z3/HISTORY
@@ -0,0 +1,2 @@
+2019-08-20 Ismael Luceno <ismael AT sourcemage.org>
+ * BUILD, DEPENDS, DETAILS, INSTALL: Spell created
diff --git a/devel/z3/INSTALL b/devel/z3/INSTALL
new file mode 100755
index 0000000..56912c9
--- /dev/null
+++ b/devel/z3/INSTALL
@@ -0,0 +1 @@
+make -C build install
diff --git a/libs/findlib/BUILD b/libs/findlib/BUILD
index 36f27b3..455d63f 100755
--- a/libs/findlib/BUILD
+++ b/libs/findlib/BUILD
@@ -4,4 +4,4 @@
-sitelib ${INSTALL_ROOT}/usr/lib/ocaml/site-lib \
$OPTS &&
make_single &&
-make all
+make all opt
diff --git a/libs/findlib/DETAILS b/libs/findlib/DETAILS
index 1051be7..3579939 100755
--- a/libs/findlib/DETAILS
+++ b/libs/findlib/DETAILS
@@ -1,8 +1,8 @@
SPELL=findlib
- VERSION=1.8.0
+ VERSION=1.8.1
SOURCE=${SPELL}-${VERSION}.tar.gz
SOURCE_URL[0]=http://www.ocaml-programming.de/packages/${SOURCE}
-
SOURCE_HASH=sha512:a6dbfd172bff20ebf05db8a0a952a9f0dc67f9420b89771dbfc6193a7a2e5fe448c9d3bdcc113591175906644299529ef937652cfb2c17f67ec2c4dbb1d71e48
+
SOURCE_HASH=sha512:0d8e1ff21217fcc6823aab3ac71282789691e4ae8c3607703d0393468247f93e2d084bd4e2a8795b523f2c7f193521d3aae4b8122c934ebf8b58c3185a5bc9c1
SOURCE_DIRECTORY=${BUILD_DIRECTORY}/${SPELL}-${VERSION}
WEB_SITE=http://projects.camlcity.org/projects/findlib.html
ENTERED=20060629
diff --git a/libs/findlib/HISTORY b/libs/findlib/HISTORY
index 11116d6..79b7969 100644
--- a/libs/findlib/HISTORY
+++ b/libs/findlib/HISTORY
@@ -1,3 +1,7 @@
+2019-08-20 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 1.8.1
+ * BUILD: build native libraries too
+
2018-09-13 Eric Sandall <sandalle AT sourcemage.org>
* DETAILS: Updated to 1.8.0
diff --git a/perl-cpan/net-ssleay/DETAILS b/perl-cpan/net-ssleay/DETAILS
index 9352c7c..554479b 100755
--- a/perl-cpan/net-ssleay/DETAILS
+++ b/perl-cpan/net-ssleay/DETAILS
@@ -1,9 +1,11 @@
SPELL=net-ssleay
SPELLX=Net-SSLeay
- VERSION=1.81
+ VERSION=1.88
SOURCE=$SPELLX-$VERSION.tar.gz
- SOURCE_URL[0]=$PERL_CPAN_URL/CPAN/authors/id/M/MI/MIKEM/$SOURCE
-
SOURCE_HASH=sha512:8d4b72ede74ea22cf2ed681a8441f40965331cd5d4442c19677cf5bc7c1e61ed1e50d0f3a4f1b272428485bcc132ec99b0c75344ca43e8a34a9dd15539719f55
+ AUTHOR=CHRISN
+ AUTHOR="${AUTHOR:0:1}/${AUTHOR:0:2}/$AUTHOR"
+ SOURCE_URL[0]="$PERL_CPAN_URL/CPAN/authors/id/$AUTHOR/$SOURCE"
+
SOURCE_HASH=sha512:37fc32ec003337f3dc18bf928139079a3127628c6fa0fccaed0c27b6bf3b216c2c5338ed1aaf9408b0add3be549df3218d3c5a6d6299793c1329d8a0813a1682
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELLX-$VERSION"
LICENSE=ART
WEB_SITE=http://search.cpan.org/~mikem/Net-SSLeay/
diff --git a/perl-cpan/net-ssleay/HISTORY b/perl-cpan/net-ssleay/HISTORY
index 4d95a5b..a462764 100644
--- a/perl-cpan/net-ssleay/HISTORY
+++ b/perl-cpan/net-ssleay/HISTORY
@@ -1,3 +1,6 @@
+2019-08-20 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 1.88
+
2017-06-26 Thomas Orgis <sobukus AT sourcemage.org>
* DETAILS: updated spell to 1.81
diff --git a/security/nmap/DEPENDS b/security/nmap/DEPENDS
index 1c3501a..a66ac60 100755
--- a/security/nmap/DEPENDS
+++ b/security/nmap/DEPENDS
@@ -20,6 +20,11 @@ optional_depends SSL \
"--without-openssl" \
"for OpenSSL support" &&
+optional_depends libssh2 \
+ --with-libssh2="$INSTALL_ROOT"/usr \
+ --without-libssh2 \
+ "for SSH support" &&
+
optional_depends libpcap \
"--with-libpcap=$INSTALL_ROOT/usr" \
"--with-libpcap=included" \
diff --git a/security/nmap/DETAILS b/security/nmap/DETAILS
index 64f6d15..74564e7 100755
--- a/security/nmap/DETAILS
+++ b/security/nmap/DETAILS
@@ -1,14 +1,10 @@
SPELL=nmap
- VERSION=7.70
+ VERSION=7.80
SOURCE=$SPELL-$VERSION.tar.bz2
- SOURCE2=$SOURCE.asc
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
SOURCE_URL[0]=https://nmap.org/dist/$SOURCE
- SOURCE2_URL[0]=https://nmap.org/dist/sigs/$SOURCE2
SOURCE_URL[1]=https://sectools.org/nmap/$SOURCE
- SOURCE2_URL[1]=https://sectools.org/nmap/sigs/$SOURCE2
- SOURCE_GPG=nmap.gpg:$SOURCE2:UPSTREAM_KEY
- SOURCE2_IGNORE=signature
+
SOURCE_HASH=sha512:d4384d3ebf4f3abf3588eed5433f733874ecdceb9342a718dc36db19634b0cc819d73399974eb0a9a9c9dd9e5c88473e07644ec91db28b0c072552b54430be6b
WEB_SITE=https://nmap.org/
ENTERED=20010922
LICENSE[0]=GPL
diff --git a/security/nmap/HISTORY b/security/nmap/HISTORY
index 2bfed25..9503f7c 100644
--- a/security/nmap/HISTORY
+++ b/security/nmap/HISTORY
@@ -1,3 +1,9 @@
+2019-08-20 Ismael Luceno <ismael AT sourcemage.org>
+ * PRE_BUILD: Fixed build against musl
+ * DETAILS: updated spell to 7.80
+ switched to SOURCE_HASH
+ * DEPENDS: added libssh2 dependency
+
2019-05-18 Ismael Luceno <ismael AT sourcemage.org>
* DEPENDS: Update dependency; s/gettext/GETTEXT/
diff --git a/security/nmap/PRE_BUILD b/security/nmap/PRE_BUILD
new file mode 100755
index 0000000..3c8cac2
--- /dev/null
+++ b/security/nmap/PRE_BUILD
@@ -0,0 +1,3 @@
+default_pre_build &&
+cd "$SOURCE_DIRECTORY" &&
+sedit 's!maybe_os in$!& linux-musl*|\\!' config.sub
- [SM-Commit] GIT changes to master grimoire by Ismael Luceno (8957b7982f9e0dc527b4a5a6fc1cf217c71fd714), Ismael Luceno, 08/20/2019
Archive powered by MHonArc 2.6.24.