[med-svn] [Git][med-team/maude][master] 2 commits: Build with --with-yices2=no since

[Andreas Tille]

Andreas Tille pushed to branch master at Debian Med / maude


Commits:
f5ca52e7 by Andreas Tille at 2020-04-16T15:34:40+02:00
Build with --with-yices2=no since
       https://github.com/SRI-CSL/yices2
    is not packaged

- - - - -
62751b85 by Andreas Tille at 2020-04-16T15:39:14+02:00
Upload to unstable

- - - - -


2 changed files:

- debian/changelog
- debian/rules


Changes:

=====================================
debian/changelog
=====================================
@@ -1,4 +1,4 @@
-maude (3.0-1) UNRELEASED; urgency=medium
+maude (3.0-1) unstable; urgency=medium
 
   [ Jelmer Vernooij ]
   * Use secure copyright file specification URI.
@@ -18,13 +18,11 @@ maude (3.0-1) UNRELEASED; urgency=medium
   * Rules-Requires-Root: no (routine-update)
   * Remove obsolete fields Contact, Name from debian/upstream/metadata
     (already present in machine-readable debian/copyright).
+  * Build with --with-yices2=no since
+       https://github.com/SRI-CSL/yices2
+    is not packaged
 
-  TODO: package https://github.com/SRI-CSL/yices2
-  ../../src/Mixfix/yices2_Bindings.hh:30:10: fatal error: yices.h: No such file or directory
-   30 | #include "yices.h"
-      |          ^~~~~~~~~
-
- -- Andreas Tille <tille at debian.org>  Thu, 16 Apr 2020 12:00:48 +0200
+ -- Andreas Tille <tille at debian.org>  Thu, 16 Apr 2020 15:34:47 +0200
 
 maude (2.7-2) unstable; urgency=medium
 


=====================================
debian/rules
=====================================
@@ -7,7 +7,7 @@ export DEB_CXXFLAGS_MAINT_APPEND=-fpermissive
 	dh $@
 
 override_dh_auto_configure:
-	dh_auto_configure -- --datadir="/usr/share/maude"
+	dh_auto_configure -- --datadir="/usr/share/maude" --with-yices2=no
 
 override_dh_auto_clean:
 	dh_auto_clean



View it on GitLab: https://salsa.debian.org/med-team/maude/-/compare/363307fe9daa6918bbcfcb1baae6025618b801ec...62751b859ebd884c0278205bc235667f7d146a9e

-- 
View it on GitLab: https://salsa.debian.org/med-team/maude/-/compare/363307fe9daa6918bbcfcb1baae6025618b801ec...62751b859ebd884c0278205bc235667f7d146a9e
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/debian-med-commit/attachments/20200416/01fd2580/attachment-0001.html>