upgpkg: spark2014-git 0.3.draft.r22203.g30299b3035-3

upgpkg: spark2014-git 0.3.draft.r22203.g30299b3035-3

upgpkg: spark2014-git 0.3.draft.r22203.g30299b3035-2

spark2014-git: fix typo

1 files changed, 3 insertions, 8 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 9e226acf40da..9302b49bd8bc 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
 
 pkgname=spark2014-git
 pkgver=0.3.draft.r22203.g30299b3035
-pkgrel=1
+pkgrel=3
 pkgdesc='Formally defined programming language based on Ada (GNAT FSF version)'
 url='https://www.spark-2014.org'
 arch=('x86_64')
@@ -15,7 +15,7 @@ options=('!makeflags')
 depends=('python2')
 makedepends=('git' 'gprbuild' 'coq' 'gnatcoll-core' 'gprbuild' 'ocaml-num'
              'ocaml-menhir' 'ocaml-ocamlgraph' 'ocaml-zarith' 'ocaml-zip'
-             'ocaml-ocplib-simplex' 'ocaml-yojson' 'python' 'python-sphinx')
+             'ocaml-ocplib-simplex' 'ocaml-yojson' 'python-sphinx')
 optdepends=('alt-ergo: alternative prover'
             'z3: alternative prover'
             'cvc4: alternative prover')
@@ -43,7 +43,7 @@ prepare() {
     git submodule update why3
     cd why3 && git reset --hard && cd ..
 
-    ln -sf "${srcdir}/gcc/gcc/ada gnat2why/gnat_src"
+    ln -sf "${srcdir}/gcc/gcc/ada" gnat2why/gnat_src
 
     # Use install instead of mv to install the various targets while also
     # houring the INSTALLDIR convention used within this Makefile.
@@ -67,11 +67,6 @@ build() {
     make -C docs/ug man
 }
 
-check() {
-    cd spark2014
-    python testsuite/gnatprove/run-tests
-}
-
 package() {
     cd spark2014
     make INSTALLDIR="${pkgdir}/usr" install-all install-examples