diff options
| -rw-r--r-- | debian/patches/install-dir.patch | 12 | ||||
| -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, 10 insertions, 10 deletions
diff --git a/debian/patches/install-dir.patch b/debian/patches/install-dir.patch index 1a2bc33..4547f11 100644 --- a/debian/patches/install-dir.patch +++ b/debian/patches/install-dir.patch @@ -1,8 +1,8 @@ Index: b/configure =================================================================== ---- a/configure 2012-04-21 00:28:55.000000000 +0400 -+++ b/configure 2012-04-21 00:29:01.000000000 +0400 -@@ -5637,7 +5637,7 @@ +--- a/configure 2013-04-03 19:12:46.000000000 +0400 ++++ b/configure 2013-04-03 19:12:52.000000000 +0400 +@@ -3566,7 +3566,7 @@ @@ -13,9 +13,9 @@ Index: b/configure if test $build != $target; then Index: b/configure.ac =================================================================== ---- a/configure.ac 2012-04-21 00:28:55.000000000 +0400 -+++ b/configure.ac 2012-04-21 00:29:01.000000000 +0400 -@@ -55,7 +55,7 @@ +--- a/configure.ac 2013-04-03 19:12:46.000000000 +0400 ++++ b/configure.ac 2013-04-03 19:12:52.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 f58b856..f2d761a 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 2012-04-21 00:28:55.000000000 +0400 -+++ b/src/sman/sman.c 2012-04-21 00:29:02.000000000 +0400 +--- 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 @@ -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 5ccf609..b3a7a20 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 2012-04-21 00:28:55.000000000 +0400 -+++ b/src/driver/Makefile.in 2012-04-21 00:29:02.000000000 +0400 +--- 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 @@ -70,7 +70,7 @@ main.lo: open-axiom.h |