diff options
Diffstat (limited to 'debian/patches')
| -rw-r--r-- | debian/patches/install-dir.patch | 10 | ||||
| -rw-r--r-- | debian/patches/no-missing-messages.patch | 4 | ||||
| -rw-r--r-- | debian/patches/non-static-open-axiom-binary.patch | 4 |
3 files changed, 9 insertions, 9 deletions
diff --git a/debian/patches/install-dir.patch b/debian/patches/install-dir.patch index 4547f11..3e0c4c4 100644 --- a/debian/patches/install-dir.patch +++ b/debian/patches/install-dir.patch @@ -1,8 +1,8 @@ Index: b/configure =================================================================== ---- a/configure 2013-04-03 19:12:46.000000000 +0400 -+++ b/configure 2013-04-03 19:12:52.000000000 +0400 -@@ -3566,7 +3566,7 @@ +--- a/configure 2013-05-09 20:02:38.000000000 +0400 ++++ b/configure 2013-05-09 20:02:42.000000000 +0400 +@@ -3617,7 +3617,7 @@ @@ -13,8 +13,8 @@ Index: b/configure if test $build != $target; then Index: b/configure.ac =================================================================== ---- a/configure.ac 2013-04-03 19:12:46.000000000 +0400 -+++ b/configure.ac 2013-04-03 19:12:52.000000000 +0400 +--- a/configure.ac 2013-05-09 20:02:38.000000000 +0400 ++++ b/configure.ac 2013-05-09 20:02:42.000000000 +0400 @@ -54,7 +54,7 @@ AC_CONFIG_SRCDIR(src/Makefile.in) diff --git a/debian/patches/no-missing-messages.patch b/debian/patches/no-missing-messages.patch index f2d761a..1cbddae 100644 --- a/debian/patches/no-missing-messages.patch +++ b/debian/patches/no-missing-messages.patch @@ -1,7 +1,7 @@ Index: b/src/sman/sman.c =================================================================== ---- a/src/sman/sman.c 2013-04-03 19:12:46.000000000 +0400 -+++ b/src/sman/sman.c 2013-04-03 19:12:53.000000000 +0400 +--- a/src/sman/sman.c 2013-05-09 20:02:37.000000000 +0400 ++++ b/src/sman/sman.c 2013-05-09 20:02:43.000000000 +0400 @@ -450,7 +450,6 @@ const char* command = oa_concatenate_string(root_dir,HypertexProgram); diff --git a/debian/patches/non-static-open-axiom-binary.patch b/debian/patches/non-static-open-axiom-binary.patch index b3a7a20..c42595e 100644 --- a/debian/patches/non-static-open-axiom-binary.patch +++ b/debian/patches/non-static-open-axiom-binary.patch @@ -1,7 +1,7 @@ Index: b/src/driver/Makefile.in =================================================================== ---- a/src/driver/Makefile.in 2013-04-03 19:12:46.000000000 +0400 -+++ b/src/driver/Makefile.in 2013-04-03 19:12:53.000000000 +0400 +--- a/src/driver/Makefile.in 2013-05-09 20:02:37.000000000 +0400 ++++ b/src/driver/Makefile.in 2013-05-09 20:02:43.000000000 +0400 @@ -70,7 +70,7 @@ main.lo: open-axiom.h |