Release 3.10

1 files changed, 10 insertions, 10 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 6d55e141ffae..5a5aedf494a5 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,48 +2,48 @@
 
 pkgname=compcert
 _dirname=CompCert
-pkgver=3.9
+pkgver=3.10
 pkgrel=1
 pkgdesc="The formally verified C compiler"
 arch=('x86_64')
 url="http://compcert.inria.fr"
 license=('custom:INRIA Non-Commercial License Agreement')
 depends=('gcc')
-makedepends=('coq>=8.9.0' 'ocaml>=4.05.0'
+makedepends=('coq>=8.9.0' 'coq<8.15' 'ocaml>=4.05.0'
              'ocaml-menhir>=20190626'
              'ocaml-findlib' # See: https://github.com/AbsInt/CompCert/issues/281
             )
 checkdepends=('parallel')
 source=("https://github.com/AbsInt/CompCert/archive/v$pkgver.tar.gz")
-sha1sums=('bbf5d8d093943888425d1d8b13de2fd15553cc27')
+sha1sums=('c224a7bda58bcd48942e7c8d3d96d328cc48e2c2')
 
 prepare() {
-  cd $srcdir/$_dirname-$pkgver
+  cd ${srcdir}/${_dirname}-${pkgver}
 }
 
 build() {
-  cd $srcdir/$_dirname-$pkgver
+  cd ${srcdir}/${_dirname}-${pkgver}
 
   # Some useful options:
   # -clightgen: builds and installs the clightgen tool
   # -install-coqdev: also installs the Coq development, implied by -clightgen, useful
   #   if you will use tools such as the Princeton VST)
-  ./configure -ignore-coq-version -prefix /usr $CARCH-linux
+  ./configure -ignore-coq-version -prefix /usr ${CARCH}-linux
 
   make all
 }
 
 check() {
-  cd $srcdir/$_dirname-$pkgver/test
+  cd ${srcdir}/${_dirname}-${pkgver}/test
 
   make all
   make parallel
 }
 
 package() {
-  cd $srcdir/$_dirname-$pkgver
-  make DESTDIR=$pkgdir install
+  cd ${srcdir}/${_dirname}-${pkgver}
+  make DESTDIR=${pkgdir} install
   
-  install -Dm644 LICENSE $pkgdir/usr/share/licenses/$pkgname/LICENSE
+  install -Dm644 LICENSE ${pkgdir}/usr/share/licenses/${pkgname}/LICENSE
 }