Date: Sunday, August 6, 2017 @ 19:14:28
  Author: felixonmars
Revision: 249080

upgpkg: tamarin-prover 1.2.2-2

add missing dependencies and build sapic

Modified:
  tamarin-prover/trunk/PKGBUILD

----------+
 PKGBUILD |   31 +++++++++++++++++++++++--------
 1 file changed, 23 insertions(+), 8 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2017-08-06 18:45:03 UTC (rev 249079)
+++ PKGBUILD    2017-08-06 19:14:28 UTC (rev 249080)
@@ -4,21 +4,26 @@
 
 pkgname=tamarin-prover
 pkgver=1.2.2
-pkgrel=1
+pkgrel=2
 pkgdesc="The Tamarin prover for security protocol analysis"
 url="http://tamarin-prover.github.io";
 license=("GPL")
 arch=('i686' 'x86_64')
-depends=('ghc' "haskell-hunit" "haskell-binary-orphans" 
"haskell-blaze-builder" "haskell-blaze-html"
-         "haskell-cmdargs" "haskell-conduit" "haskell-fclabels" 
"haskell-file-embed"
-         "haskell-gitrev" "haskell-http-types" "haskell-lifted-base" 
"haskell-mtl"
-         "haskell-resourcet" "haskell-safe" "haskell-shakespeare" 
"haskell-text" "haskell-threads"
-         "haskell-wai" "haskell-warp" "haskell-yesod-core" 
"haskell-yesod-static"
-         "haskell-tamarin-prover-utils" "haskell-tamarin-prover-term"
-         "haskell-tamarin-prover-theory")
+depends=('graphviz' 'maude' 'ocaml' 'ghc' "haskell-hunit" 
"haskell-binary-orphans"
+         "haskell-blaze-builder" "haskell-blaze-html" "haskell-cmdargs" 
"haskell-conduit"
+         "haskell-fclabels" "haskell-file-embed" "haskell-gitrev" 
"haskell-http-types"
+         "haskell-lifted-base" "haskell-mtl" "haskell-resourcet" "haskell-safe"
+         "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" 
"haskell-warp"
+         "haskell-yesod-core" "haskell-yesod-static" 
"haskell-tamarin-prover-utils"
+         "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory")
 
source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz";)
 sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de')
 
+prepare() {
+    cd "${srcdir}/${pkgname}-${pkgver}"
+    sed -i '/cp sapic/d' plugins/sapic/Makefile
+}
+
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"
     
@@ -26,9 +31,19 @@
         --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \
             -fthreaded -ftest-coverage -f-build-tests
     runhaskell Setup build
+
+    cd plugins/sapic
+    make -j1
 }
 
 package() {
     cd "${srcdir}/${pkgname}-${pkgver}"
     runhaskell Setup copy --destdir="${pkgdir}"
+
+    install -Dm644 etc/filetype.vim 
"$pkgdir"/usr/share/vim/vimfiles/filetype.vim
+    install -Dm644 etc/spthy.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim
+    install -Dm644 etc/sapic.vim 
"$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim
+
+    cd plugins/sapic
+    install -Dm755 sapic "$pkgdir"/usr/bin/sapic
 }

Reply via email to