summaryrefslogtreecommitdiffstats
path: root/academic/aris/docs_and_build.patch
diff options
context:
space:
mode:
Diffstat (limited to 'academic/aris/docs_and_build.patch')
-rw-r--r--academic/aris/docs_and_build.patch66
1 files changed, 66 insertions, 0 deletions
diff --git a/academic/aris/docs_and_build.patch b/academic/aris/docs_and_build.patch
new file mode 100644
index 0000000000..e1335922c7
--- /dev/null
+++ b/academic/aris/docs_and_build.patch
@@ -0,0 +1,66 @@
+# * Change documentation location
+# * Instead of allowing multiple definitions (allocations in header files),
+# declare global variables in headers, and allocate them in their
+# corresponding .c files, with a reasonable initial value.
+
+diff -u3 aris-2.2/src/app.c aris-2.2-patched/src/app.c
+--- aris-2.2/src/app.c 2014-02-28 10:17:24.000000000 -0300
++++ aris-2.2-patched/src/app.c 2022-08-11 15:28:59.318566050 -0300
+@@ -46,6 +46,9 @@
+ #include "elm-conn.xpm"
+ #include "nil-conn.xpm"
+
++
++aris_app * the_app = 0;
++
+ // Macro to get the length of a file.
+
+ #ifndef WIN32
+diff -u3 aris-2.2/src/app.h aris-2.2-patched/src/app.h
+--- aris-2.2/src/app.h 2014-02-27 22:32:07.000000000 -0300
++++ aris-2.2-patched/src/app.h 2022-08-11 13:01:06.315136621 -0300
+@@ -106,6 +106,6 @@
+
+ int app_set_color (aris_app * app, int index, int red, int green, int blue);
+ /* The main application */
+-aris_app * the_app;
++extern aris_app * the_app;
+
+ #endif /* ARIS_APP_H */
+diff -u3 aris-2.2/src/aris.c aris-2.2-patched/src/aris.c
+--- aris-2.2/src/aris.c 2014-02-28 10:29:10.000000000 -0300
++++ aris-2.2-patched/src/aris.c 2022-08-11 15:38:22.990593330 -0300
+@@ -844,8 +844,7 @@
+
+ if (the_app->working_dir)
+ {
+- parent = g_file_get_parent (parent);
+- sprintf (the_app->help_file, "file://%s/doc/aris/index.html", g_file_get_path (parent));
++ sprintf (the_app->help_file, "file:///usr/doc/aris-" PACKAGE_VERSION "/html/index.html");
+ }
+
+ int ret;
+diff -u3 aris-2.2/src/process.c aris-2.2-patched/src/process.c
+--- aris-2.2/src/process.c 2014-03-06 17:53:32.000000000 -0300
++++ aris-2.2-patched/src/process.c 2022-08-11 15:27:56.582563013 -0300
+@@ -26,6 +26,8 @@
+ #include <ctype.h>
+ #include <math.h>
+
++struct connectives_list main_conns = { 0 };
++
+ /* Eliminates a negation from a string.
+ * input:
+ * not_str - the string from which to eliminate the negation.
+diff -u3 aris-2.2/src/process.h aris-2.2-patched/src/process.h
+--- aris-2.2/src/process.h 2014-03-02 16:30:39.000000000 -0300
++++ aris-2.2-patched/src/process.h 2022-08-11 13:04:45.004147205 -0300
+@@ -170,7 +170,7 @@
+
+ // The main connectives.
+
+-struct connectives_list main_conns;
++extern struct connectives_list main_conns;
+
+ // Definitions.
+