[arch-commits] Commit in coq/trunk (PKGBUILD)

[Baptiste Jonglez]

    Date: Thursday, May 3, 2018 @ 07:20:08
  Author: zorun
Revision: 318811

upgpkg: coq 8.8.0-2

Fix FS#58203 and FS#57905

Modified:
  coq/trunk/PKGBUILD

----------+
 PKGBUILD |    8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-05-03 07:05:45 UTC (rev 318810)
+++ PKGBUILD	2018-05-03 07:20:08 UTC (rev 318811)
@@ -7,7 +7,7 @@
 
 pkgname=('coq' 'coqide' 'coq-doc')
 pkgver=8.8.0
-pkgrel=1
+pkgrel=2
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -49,7 +49,8 @@
 package_coq() {
   depends=('ocaml' 'camlp5')
   optdepends=('coqide: graphical Coq IDE'
-              'coq-doc: offline documentation')
+              'coq-doc: offline documentation'
+              'coin-or-csdp: for psatz plugin')
   # coq-nox was the old name for coq without coqide
   replaces=('coq-nox')
   conflicts=('coq-nox')
@@ -60,6 +61,9 @@
   # frontend other than coqide, for instance coquille)
   make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
   rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
+  # Workaround for FS#58203
+  mkdir -p "$pkgdir/usr/lib/ocaml/"
+  ln -s /usr/lib/coq "$pkgdir/usr/lib/ocaml/coq"
 }
 
 package_coqide() {