GNU Aris doesn’t work properly

GNU Aris doesn’t work properly

[Nikita Karetnikov]

[-- Attachment #1.1: Type: text/plain, Size: 329 bytes --]

The attached recipe successfully builds, but the ‘test’ program
segfaults, and the ‘aris’ program becomes unusable when you try to
create a new file.

I don’t have time to look through the build directory nor to build it
outside of Guix right now, but I’ll do it later.

As always, any help is appreciated.


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1.2: aris.diff --]
[-- Type: text/x-diff, Size: 1694 bytes --]

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 9b2b052..226db7c 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -29,6 +29,7 @@
   #:use-module ((gnu packages gettext)
                 #:renamer (symbol-prefix-proc 'gnu:))
   #:use-module (gnu packages gcc)
+  #:use-module (gnu packages gtk)
   #:use-module (gnu packages multiprecision)
   #:use-module (gnu packages perl)
   #:use-module (gnu packages pkg-config)
@@ -200,3 +201,30 @@ text, Postscript, PDF or HTML.")
 problems in numerical linear algebra.")
     (license (license:bsd-style "file://LICENSE"
                                 "See LICENSE in the distribution."))))
+
+(define-public aris
+  (package
+    (name "aris")
+    (version "2.1.1")
+    (source
+     (origin
+      (method url-fetch)
+      (uri (string-append "mirror://gnu/aris/aris-"
+                          version ".tar.bz2"))
+      (sha256
+       (base32
+        "08vw43qkmnsd2xjfwfkvp6njar8cdns0hbzav6sxgvbr08778cgp"))))
+    (build-system gnu-build-system)
+    (inputs `(("pkg-config" ,pkg-config)
+              ("gtk+" ,gtk+-2)
+              ("libxml2", libxml2)))
+    (home-page "https://gnu.org/software/aris")
+    (synopsis "Natural deduction first-order logic interface")
+    (description
+     "Aris is a program for performing logical proofs.  It supports
+propositional and predicate logic, as well as Boolean algebra and
+arithmetical logic.  In addition to its predefined inference and equivalence
+rules, Aris also supports references to older proofs. Its use of standard
+logical symbols and its natural deduction interface make it easy to use for
+beginners.")
+    (license license:gpl3+)))

[-- Attachment #2: Type: application/pgp-signature, Size: 835 bytes --]

Re: GNU Aris doesn’t work properly

[Ludovic Courtès]

Nikita Karetnikov <nikita@karetnikov.org> skribis:

> The attached recipe successfully builds, but the ‘test’ program
> segfaults, and the ‘aris’ program becomes unusable when you try to
> create a new file.

Perhaps you should report the segfault to the Aris developers?

Ludo’.