summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. J. McDermott <pj@pehjota.net>2014-06-22 01:00:06 (EDT)
committer P. J. McDermott <pj@pehjota.net>2014-06-22 01:00:06 (EDT)
commit6baa7b4a417c1c3097226037700d0241e8268a17 (patch)
treefcdd225508be0821a529e4e56b897fde72c68d3a
Initial commit.
-rw-r--r--.gitignore11
-rwxr-xr-xbuild6
-rw-r--r--changelog5
-rw-r--r--control3
-rw-r--r--format1
-rw-r--r--keyring.gpgbin0 -> 21242 bytes
-rw-r--r--source.mk23
7 files changed, 49 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..213a9bf
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,11 @@
+# Swap and backup files
+.*.sw*
+.sw*
+*~
+Session.vim
+
+# Source archives
+*-*.orig.tar.*
+
+# Work area
+tmp/
diff --git a/build b/build
new file mode 100755
index 0000000..2a40656
--- /dev/null
+++ b/build
@@ -0,0 +1,6 @@
+#!/usr/bin/make -f
+
+include ../source.mk
+
+nop:
+ @:
diff --git a/changelog b/changelog
new file mode 100644
index 0000000..e8d479f
--- /dev/null
+++ b/changelog
@@ -0,0 +1,5 @@
+pcre (8.35) trunk
+
+ * Initial release.
+
+ -- "P. J. McDermott" <pj@pehjota.net> Sun, 22 Jun 2014 00:49:44 -0400
diff --git a/control b/control
new file mode 100644
index 0000000..e6c9b56
--- /dev/null
+++ b/control
@@ -0,0 +1,3 @@
+Maintainer: "P. J. McDermott" <pj@pehjota.net>
+Build-Depends: opkhelper-3.0
+Homepage: http://www.pcre.org/
diff --git a/format b/format
new file mode 100644
index 0000000..cd5ac03
--- /dev/null
+++ b/format
@@ -0,0 +1 @@
+2.0
diff --git a/keyring.gpg b/keyring.gpg
new file mode 100644
index 0000000..a5c0ac1
--- /dev/null
+++ b/keyring.gpg
Binary files differ
diff --git a/source.mk b/source.mk
new file mode 100644
index 0000000..e33f5e8
--- /dev/null
+++ b/source.mk
@@ -0,0 +1,23 @@
+upstream_archive = pcre-$(OPK_SOURCE_VERSION_UPSTREAM).zip
+upstream_base_url = ftp://ftp.csx.cam.ac.uk/pub/software/programming/pcre
+upstream_url = $(upstream_base_url)/$(upstream_archive)
+source_archive = ../$(OPK_SOURCE)-$(OPK_SOURCE_VERSION_UPSTREAM).orig.tar.gz
+keys = '45F6 8D54 BBE2 3FB3 039B 46E5 9766 E084 FB0F 43D8'
+
+$(source_archive):
+ wget -c '$(upstream_url)'
+ set -e; if gpg --version >/dev/null 2>&1; then \
+ wget -c '$(upstream_url).sig'; \
+ [ -e ../keyring.gpg ] || \
+ gpg --keyring ../keyring.gpg --no-default-keyring \
+ --recv-keys $(keys) || true; \
+ rm -f ../keyring.gpg~; \
+ gpg --verify --keyring ../keyring.gpg \
+ '$(upstream_archive).sig'; \
+ fi
+ unzip '$(upstream_archive)' >/dev/null
+ rm '$(upstream_archive)' '$(upstream_archive).sig'
+ tar -czf '$(source_archive)' 'pcre-$(OPK_SOURCE_VERSION_UPSTREAM)'
+ mv 'pcre-$(OPK_SOURCE_VERSION_UPSTREAM)' 'src'
+
+source: $(source_archive)