update

3 files changed, 8 insertions, 24 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 40a024a959ef..23857d31012f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Tue Jul  4 04:57:27 UTC 2017
+# Wed Jul 12 17:29:05 UTC 2017
 pkgbase = bigloo-devel
 	pkgdesc = Fast scheme compiler
-	pkgver = 4.3b_alpha03Jul17
+	pkgver = 4.3b_alpha12Jul17
 	pkgrel = 1
 	epoch = 27
 	url = http://www-sop.inria.fr/mimosa/fp/Bigloo/
@@ -29,12 +29,10 @@ pkgbase = bigloo-devel
 	options = libtool
 	options = staticlibs
 	options = !strip
-	source = ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo4.3b-alpha03Jul17.tar.gz
+	source = ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo4.3b-alpha12Jul17.tar.gz
 	source = satisfy-ldconfig.sh
-	source = comptime.patch
-	sha256sums = dbbf73f42299c48e6e9f29344f4dd266380ea8e63018322d66468595fe4a4854
+	sha256sums = b4789ee2f55cfcaab54154d7daae143cacc036094bab8c0ab9fe9331886fbcd1
 	sha256sums = b45d2dc176f2b8c6496da9bfaad76d9398172dbef288984f6415824c1c93a4c2
-	sha256sums = 7dce688592e3a502cfd2acd87f37d683f3f461f1c5c84aa2e6756a285b985ba9
 
 pkgname = bigloo-devel
 
diff --git a/PKGBUILD b/PKGBUILD
index 91a3be3fcb76..4f9f1103138e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,7 +5,7 @@ _pkgname='bigloo'
 pkgname="${_pkgname}-devel"
 epoch=27
 _pkgver=4.3b
-_pkgsuffix=alpha03Jul17
+_pkgsuffix=alpha12Jul17
 pkgver=${_pkgver}_${_pkgsuffix}
 pkgrel=1
 pkgdesc="Fast scheme compiler"
@@ -19,16 +19,13 @@ optdepends=('emacs: for bee'
 provides=('bigloo=$pkgver')
 conflicts=('bigloo')
 options=('!makeflags' 'libtool' 'staticlibs' '!strip')
-source=("ftp://ftp-sop.inria.fr/indes/fp/Bigloo/${_pkgname}${_pkgver}-${_pkgsuffix}.tar.gz" "satisfy-ldconfig.sh" "comptime.patch")
-sha256sums=('dbbf73f42299c48e6e9f29344f4dd266380ea8e63018322d66468595fe4a4854'
-            'b45d2dc176f2b8c6496da9bfaad76d9398172dbef288984f6415824c1c93a4c2'
-            '7dce688592e3a502cfd2acd87f37d683f3f461f1c5c84aa2e6756a285b985ba9')
+source=("ftp://ftp-sop.inria.fr/indes/fp/Bigloo/${_pkgname}${_pkgver}-${_pkgsuffix}.tar.gz" "satisfy-ldconfig.sh")
+sha256sums=('b4789ee2f55cfcaab54154d7daae143cacc036094bab8c0ab9fe9331886fbcd1'
+            'b45d2dc176f2b8c6496da9bfaad76d9398172dbef288984f6415824c1c93a4c2')
 
 prepare() {
   cd "${srcdir}/${_pkgname}${_pkgver}"
   sed -ri 's/ ?-Wl,-rpath=[^"]+"/"/' configure
-  cd comptime
-  patch -p0 < $srcdir/comptime.patch
 }
 
 build() {
diff --git a/comptime.patch b/comptime.patch
deleted file mode 100644
index 7c5ffe912b0d..000000000000
--- a/comptime.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- Makefile	2017-07-03 17:53:37.000000000 +0200
-+++ Makefile.new	2017-07-04 06:42:39.861333086 +0200
-@@ -609,7 +609,7 @@
- 	@ echo "$(BIGLOO_DEST)$(EXE_SUFFIX) done..."
- 
- doboot.shared: $(O_OBJECTS)
--	$(CC) $(EXTRA_LD_OPT) $(CFLAGS) -o $(BIGLOO_DEST)$(EXE_SUFFIX) $(O_OBJECTS) $(LDCOMPLIBS_SHARED) $(LDCOMPLIBS)
-+	$(CC) $(EXTRA_LD_OPT) $(CFLAGS) -o $(BIGLOO_DEST)$(EXE_SUFFIX) $(O_OBJECTS) $(LDCOMPLIBS_SHARED) $(LDCOMPLIBS) -L../lib/bigloo/4.3b
- 
- doboot.static: $(O_OBJECTS)
- 	 $(CC) $(EXTRA_LD_OPT) $(CFLAGS) -o $(BIGLOO_DEST)$(EXE_SUFFIX) $(O_OBJECTS) $(LDCOMPLIBS_STATIC) $(LDCOMPLIBS)