Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | ·8d023cfa3327919a5beb191443d2cf2c·1194056·debug·optional·mona-dbgsym_1.4-17-1_i386.deb | 1 | ·8d023cfa3327919a5beb191443d2cf2c·1194056·debug·optional·mona-dbgsym_1.4-17-1_i386.deb |
2 | · | 2 | ·18d9b8463aa0e28cae880a66a1ff6ba3·406292·science·extra·mona_1.4-17-1_i386.deb |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2016-03-26·18:46:18.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2016-03-26·18:46:18.000000·debian-binary |
2 | -rw-r--r--···0········0········0·····285 | 2 | -rw-r--r--···0········0········0·····2852·2016-03-26·18:46:18.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0···40 | 3 | -rw-r--r--···0········0········0···403248·2016-03-26·18:46:18.000000·data.tar.xz |
Offset 45, 38 lines modified | Offset 45, 38 lines modified | ||
45 | -rw-r--r--···0·root·········(0)·root·········(0)·····7799·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/bdd_example.gz | 45 | -rw-r--r--···0·root·········(0)·root·········(0)·····7799·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/bdd_example.gz |
46 | -rw-r--r--···0·root·········(0)·root·········(0)····10058·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/gta_example.gz | 46 | -rw-r--r--···0·root·········(0)·root·········(0)····10058·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/gta_example.gz |
47 | -rw-r--r--···0·root·········(0)·root·········(0)·····6808·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/presburger_analysis.gz | 47 | -rw-r--r--···0·root·········(0)·root·········(0)·····6808·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/presburger_analysis.gz |
48 | -rw-r--r--···0·root·········(0)·root·········(0)·····6740·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/presburger_transduction.gz | 48 | -rw-r--r--···0·root·········(0)·root·········(0)·····6740·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/.libs/presburger_transduction.gz |
49 | -rw-r--r--···0·root·········(0)·root·········(0)······205·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/ab1.mona | 49 | -rw-r--r--···0·root·········(0)·root·········(0)······205·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/ab1.mona |
50 | -rw-r--r--···0·root·········(0)·root·········(0)······290·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/ab2.mona | 50 | -rw-r--r--···0·root·········(0)·root·········(0)······290·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/ab2.mona |
51 | -rw-r--r--···0·root·········(0)·root·········(0)·····1824·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/bdd_example.c.gz | 51 | -rw-r--r--···0·root·········(0)·root·········(0)·····1824·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/bdd_example.c.gz |
52 | -rw-r--r--···0·root·········(0)·root·········(0)·····267 | 52 | -rw-r--r--···0·root·········(0)·root·········(0)·····2674·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/bdd_example.gz |
53 | -rw-r--r--···0·root·········(0)·root·········(0)·····6780·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/bdd_example.o.gz | 53 | -rw-r--r--···0·root·········(0)·root·········(0)·····6780·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/bdd_example.o.gz |
54 | -rw-r--r--···0·root·········(0)·root·········(0)·····1677·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/bdd_volatility | 54 | -rw-r--r--···0·root·········(0)·root·········(0)·····1677·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/bdd_volatility |
55 | -rw-r--r--···0·root·········(0)·root·········(0)······237·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even.mona | 55 | -rw-r--r--···0·root·········(0)·root·········(0)······237·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even.mona |
56 | -rw-r--r--···0·root·········(0)·root·········(0)······264·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even_with_assert.mona | 56 | -rw-r--r--···0·root·········(0)·root·········(0)······264·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even_with_assert.mona |
57 | -rw-r--r--···0·root·········(0)·root·········(0)······250·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even_with_pred.mona | 57 | -rw-r--r--···0·root·········(0)·root·········(0)······250·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even_with_pred.mona |
58 | -rw-r--r--···0·root·········(0)·root·········(0)·····2133·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/gta_example.c.gz | 58 | -rw-r--r--···0·root·········(0)·root·········(0)·····2133·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/gta_example.c.gz |
59 | -rw-r--r--···0·root·········(0)·root·········(0)·····26 | 59 | -rw-r--r--···0·root·········(0)·root·········(0)·····2690·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/gta_example.gz |
60 | -rw-r--r--···0·root·········(0)·root·········(0)·····9785·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/gta_example.o.gz | 60 | -rw-r--r--···0·root·········(0)·root·········(0)·····9785·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/gta_example.o.gz |
61 | -rw-r--r--···0·root·········(0)·root·········(0)·····1853·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/html.mona.gz | 61 | -rw-r--r--···0·root·········(0)·root·········(0)·····1853·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/html.mona.gz |
62 | -rw-r--r--···0·root·········(0)·root·········(0)······774·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/hyman.mona.gz | 62 | -rw-r--r--···0·root·········(0)·root·········(0)······774·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/hyman.mona.gz |
63 | -rw-r--r--···0·root·········(0)·root·········(0)·····2089·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/lossy_queue.mona | 63 | -rw-r--r--···0·root·········(0)·root·········(0)·····2089·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/lossy_queue.mona |
64 | -rw-r--r--···0·root·········(0)·root·········(0)·····1054·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/makefile.am | 64 | -rw-r--r--···0·root·········(0)·root·········(0)·····1054·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/makefile.am |
65 | -rw-r--r--···0·root·········(0)·root·········(0)·····611 | 65 | -rw-r--r--···0·root·········(0)·root·········(0)·····6117·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/makefile.gz |
66 | -rw-r--r--···0·root·········(0)·root·········(0)·····5954·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/makefile.in.gz | 66 | -rw-r--r--···0·root·········(0)·root·········(0)·····5954·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/makefile.in.gz |
67 | -rw-r--r--···0·root·········(0)·root·········(0)······144·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/minusmodulo.mona | 67 | -rw-r--r--···0·root·········(0)·root·········(0)······144·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/minusmodulo.mona |
68 | -rw-r--r--···0·root·········(0)·root·········(0)·····3063·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/nadder.mona | 68 | -rw-r--r--···0·root·········(0)·root·········(0)·····3063·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/nadder.mona |
69 | -rw-r--r--···0·root·········(0)·root·········(0)······177·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/plusmodulo.mona | 69 | -rw-r--r--···0·root·········(0)·root·········(0)······177·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/plusmodulo.mona |
70 | -rw-r--r--···0·root·········(0)·root·········(0)······964·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger.mona | 70 | -rw-r--r--···0·root·········(0)·root·········(0)······964·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger.mona |
71 | -rw-r--r--···0·root·········(0)·root·········(0)·····2494·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.c | 71 | -rw-r--r--···0·root·········(0)·root·········(0)·····2494·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.c |
72 | -rw-r--r--···0·root·········(0)·root·········(0)·····269 | 72 | -rw-r--r--···0·root·········(0)·root·········(0)·····2699·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.gz |
73 | -rw-r--r--···0·root·········(0)·root·········(0)·····5474·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.o.gz | 73 | -rw-r--r--···0·root·········(0)·root·········(0)·····5474·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.o.gz |
74 | -rw-r--r--···0·root·········(0)·root·········(0)·····3924·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger_transduction.c | 74 | -rw-r--r--···0·root·········(0)·root·········(0)·····3924·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger_transduction.c |
75 | -rw-r--r--···0·root·········(0)·root·········(0)·····269 | 75 | -rw-r--r--···0·root·········(0)·root·········(0)·····2697·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_transduction.gz |
76 | -rw-r--r--···0·root·········(0)·root·········(0)·····5299·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_transduction.o.gz | 76 | -rw-r--r--···0·root·········(0)·root·········(0)·····5299·2016-03-26·18:46:18.000000·./usr/share/doc/mona/examples/Examples/presburger_transduction.o.gz |
77 | -rw-r--r--···0·root·········(0)·root·········(0)·····1673·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/regexp.mona | 77 | -rw-r--r--···0·root·········(0)·root·········(0)·····1673·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/regexp.mona |
78 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/emacs/ | 78 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/emacs/ |
79 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/emacs/site-lisp/ | 79 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/emacs/site-lisp/ |
80 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/emacs/site-lisp/mona/ | 80 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/emacs/site-lisp/mona/ |
81 | -rw-r--r--···0·root·········(0)·root·········(0)·····2916·2016-03-25·22:32:08.000000·./usr/share/emacs/site-lisp/mona/mona-mode.el | 81 | -rw-r--r--···0·root·········(0)·root·········(0)·····2916·2016-03-25·22:32:08.000000·./usr/share/emacs/site-lisp/mona/mona-mode.el |
82 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/lintian/ | 82 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-03-26·18:46:18.000000·./usr/share/lintian/ |
Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
1 | gzip·compressed·data,·max·compression,·from·Unix,·original·size·6 | 1 | gzip·compressed·data,·max·compression,·from·Unix,·original·size·6401 |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | #!·/bin/ | 1 | #!·/bin/sh |
2 | #·bdd_example·-·temporary·wrapper·script·for·.libs/bdd_example | 2 | #·bdd_example·-·temporary·wrapper·script·for·.libs/bdd_example |
3 | #·Generated·by·libtool·(GNU·libtool)·2.4.2·Debian-2.4.2-1.7ubuntu1 | 3 | #·Generated·by·libtool·(GNU·libtool)·2.4.2·Debian-2.4.2-1.7ubuntu1 |
4 | # | 4 | # |
5 | #·The·bdd_example·program·cannot·be·directly·executed·until·all·the·libtool | 5 | #·The·bdd_example·program·cannot·be·directly·executed·until·all·the·libtool |
6 | #·libraries·that·it·depends·on·are·installed. | 6 | #·libraries·that·it·depends·on·are·installed. |
7 | # | 7 | # |
Offset 71, 17 lines modified | Offset 71, 17 lines modified | ||
71 | ··lt_script_arg0=$0 | 71 | ··lt_script_arg0=$0 |
72 | ··shift | 72 | ··shift |
73 | ··for·lt_opt | 73 | ··for·lt_opt |
74 | ··do | 74 | ··do |
75 | ····case·"$lt_opt"·in | 75 | ····case·"$lt_opt"·in |
76 | ····--lt-debug)·lt_option_debug=1·;; | 76 | ····--lt-debug)·lt_option_debug=1·;; |
77 | ····--lt-dump-script) | 77 | ····--lt-dump-script) |
78 | ········lt_dump_D=`$ECHO·"X$lt_script_arg0"·|·/bin/sed·-e·'s/^X//'·-e·'s%/[^/]*$%%'` | 78 | ········lt_dump_D=`$ECHO·"X$lt_script_arg0"·|·/usr/bin/sed·-e·'s/^X//'·-e·'s%/[^/]*$%%'` |
79 | ········test·"X$lt_dump_D"·=·"X$lt_script_arg0"·&&·lt_dump_D=. | 79 | ········test·"X$lt_dump_D"·=·"X$lt_script_arg0"·&&·lt_dump_D=. |
80 | ········lt_dump_F=`$ECHO·"X$lt_script_arg0"·|·/bin/sed·-e·'s/^X//'·-e·'s%^.*/%%'` | 80 | ········lt_dump_F=`$ECHO·"X$lt_script_arg0"·|·/usr/bin/sed·-e·'s/^X//'·-e·'s%^.*/%%'` |
81 | ········cat·"$lt_dump_D/$lt_dump_F" | 81 | ········cat·"$lt_dump_D/$lt_dump_F" |
82 | ········exit·0 | 82 | ········exit·0 |
83 | ······;; | 83 | ······;; |
84 | ····--lt-*) | 84 | ····--lt-*) |
85 | ········$ECHO·"Unrecognized·--lt-·option:·'$lt_opt'"·1>&2 | 85 | ········$ECHO·"Unrecognized·--lt-·option:·'$lt_opt'"·1>&2 |
86 | ········exit·1 | 86 | ········exit·1 |
87 | ······;; | 87 | ······;; |
Offset 139, 45 lines modified | Offset 139, 45 lines modified | ||
139 | ··func_exec_program_core·${1+"$@"} | 139 | ··func_exec_program_core·${1+"$@"} |
140 | } | 140 | } |
141 | ··#·Parse·options | 141 | ··#·Parse·options |
142 | ··func_parse_lt_options·"$0"·${1+"$@"} | 142 | ··func_parse_lt_options·"$0"·${1+"$@"} |
143 | ··#·Find·the·directory·that·this·script·lives·in. | 143 | ··#·Find·the·directory·that·this·script·lives·in. |
144 | ··thisdir=`$ECHO·"$file"·|·/bin/sed·'s%/[^/]*$%%'` | 144 | ··thisdir=`$ECHO·"$file"·|·/usr/bin/sed·'s%/[^/]*$%%'` |
145 | ··test·"x$thisdir"·=·"x$file"·&&·thisdir=. | 145 | ··test·"x$thisdir"·=·"x$file"·&&·thisdir=. |
146 | ··#·Follow·symbolic·links·until·we·get·to·the·real·thisdir. | 146 | ··#·Follow·symbolic·links·until·we·get·to·the·real·thisdir. |
147 | ··file=`ls·-ld·"$file"·|·/bin/sed·-n·'s/.*->·//p'` | 147 | ··file=`ls·-ld·"$file"·|·/usr/bin/sed·-n·'s/.*->·//p'` |
148 | ··while·test·-n·"$file";·do | 148 | ··while·test·-n·"$file";·do |
149 | ····destdir=`$ECHO·"$file"·|·/bin/sed·'s%/[^/]*$%%'` | 149 | ····destdir=`$ECHO·"$file"·|·/usr/bin/sed·'s%/[^/]*$%%'` |
150 | ····#·If·there·was·a·directory·component,·then·change·thisdir. | 150 | ····#·If·there·was·a·directory·component,·then·change·thisdir. |
151 | ····if·test·"x$destdir"·!=·"x$file";·then | 151 | ····if·test·"x$destdir"·!=·"x$file";·then |
152 | ······case·"$destdir"·in | 152 | ······case·"$destdir"·in |
153 | ······[\\/]*·|·[A-Za-z]:[\\/]*)·thisdir="$destdir"·;; | 153 | ······[\\/]*·|·[A-Za-z]:[\\/]*)·thisdir="$destdir"·;; |
154 | ······*)·thisdir="$thisdir/$destdir"·;; | 154 | ······*)·thisdir="$thisdir/$destdir"·;; |
155 | ······esac | 155 | ······esac |
156 | ····fi | 156 | ····fi |
157 | ····file=`$ECHO·"$file"·|·/bin/sed·'s%^.*/%%'` | 157 | ····file=`$ECHO·"$file"·|·/usr/bin/sed·'s%^.*/%%'` |
158 | ····file=`ls·-ld·"$thisdir/$file"·|·/bin/sed·-n·'s/.*->·//p'` | 158 | ····file=`ls·-ld·"$thisdir/$file"·|·/usr/bin/sed·-n·'s/.*->·//p'` |
159 | ··done | 159 | ··done |
160 | ··#·Usually·'no',·except·on·cygwin/mingw·when·embedded·into | 160 | ··#·Usually·'no',·except·on·cygwin/mingw·when·embedded·into |
161 | ··#·the·cwrapper. | 161 | ··#·the·cwrapper. |
162 | ··WRAPPER_SCRIPT_BELONGS_IN_OBJDIR=no | 162 | ··WRAPPER_SCRIPT_BELONGS_IN_OBJDIR=no |
163 | ··if·test·"$WRAPPER_SCRIPT_BELONGS_IN_OBJDIR"·=·"yes";·then | 163 | ··if·test·"$WRAPPER_SCRIPT_BELONGS_IN_OBJDIR"·=·"yes";·then |
164 | ····#·special·case·for·'.' | 164 | ····#·special·case·for·'.' |
165 | ····if·test·"$thisdir"·=·".";·then | 165 | ····if·test·"$thisdir"·=·".";·then |
166 | ······thisdir=`pwd` | 166 | ······thisdir=`pwd` |
167 | ····fi | 167 | ····fi |
168 | ····#·remove·.libs·from·thisdir | 168 | ····#·remove·.libs·from·thisdir |
169 | ····case·"$thisdir"·in | 169 | ····case·"$thisdir"·in |
170 | ····*[\\/].libs·)·thisdir=`$ECHO·"$thisdir"·|·/bin/sed·'s%[\\/][^\\/]*$%%'`·;; | 170 | ····*[\\/].libs·)·thisdir=`$ECHO·"$thisdir"·|·/usr/bin/sed·'s%[\\/][^\\/]*$%%'`·;; |
171 | ····.libs·)···thisdir=.·;; | 171 | ····.libs·)···thisdir=.·;; |
172 | ····esac | 172 | ····esac |
173 | ··fi | 173 | ··fi |
174 | ··#·Try·to·get·the·absolute·directory·name. | 174 | ··#·Try·to·get·the·absolute·directory·name. |
175 | ··absdir=`cd·"$thisdir"·&&·pwd` | 175 | ··absdir=`cd·"$thisdir"·&&·pwd` |
176 | ··test·-n·"$absdir"·&&·thisdir="$absdir" | 176 | ··test·-n·"$absdir"·&&·thisdir="$absdir" |
Offset 188, 15 lines modified | Offset 188, 15 lines modified | ||
188 | ··if·test·-f·"$progdir/$program";·then | 188 | ··if·test·-f·"$progdir/$program";·then |
189 | ····#·Add·our·own·library·path·to·LD_LIBRARY_PATH | 189 | ····#·Add·our·own·library·path·to·LD_LIBRARY_PATH |
190 | ····LD_LIBRARY_PATH="/build/mona-1.4-17/Mem/.libs:/build/mona-1.4-17/BDD/.libs:$LD_LIBRARY_PATH" | 190 | ····LD_LIBRARY_PATH="/build/mona-1.4-17/Mem/.libs:/build/mona-1.4-17/BDD/.libs:$LD_LIBRARY_PATH" |
191 | ····#·Some·systems·cannot·cope·with·colon-terminated·LD_LIBRARY_PATH | 191 | ····#·Some·systems·cannot·cope·with·colon-terminated·LD_LIBRARY_PATH |
192 | ····#·The·second·colon·is·a·workaround·for·a·bug·in·BeOS·R4·sed | 192 | ····#·The·second·colon·is·a·workaround·for·a·bug·in·BeOS·R4·sed |
193 | ····LD_LIBRARY_PATH=`$ECHO·"$LD_LIBRARY_PATH"·|·/bin/sed·'s/::*$//'` | 193 | ····LD_LIBRARY_PATH=`$ECHO·"$LD_LIBRARY_PATH"·|·/usr/bin/sed·'s/::*$//'` |
194 | ····export·LD_LIBRARY_PATH | 194 | ····export·LD_LIBRARY_PATH |
195 | ····if·test·"$libtool_execute_magic"·!=·"%%%MAGIC·variable%%%";·then | 195 | ····if·test·"$libtool_execute_magic"·!=·"%%%MAGIC·variable%%%";·then |
196 | ······#·Run·the·actual·program·with·our·arguments. | 196 | ······#·Run·the·actual·program·with·our·arguments. |
197 | ······func_exec_program·${1+"$@"} | 197 | ······func_exec_program·${1+"$@"} |
198 | ····fi | 198 | ····fi |
Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
1 | gzip·compressed·data,·max·compression,·from·Unix,·original·size·64 | 1 | gzip·compressed·data,·max·compression,·from·Unix,·original·size·6451 |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | #!·/bin/ | 1 | #!·/bin/sh |
2 | #·gta_example·-·temporary·wrapper·script·for·.libs/gta_example | 2 | #·gta_example·-·temporary·wrapper·script·for·.libs/gta_example |
3 | #·Generated·by·libtool·(GNU·libtool)·2.4.2·Debian-2.4.2-1.7ubuntu1 | 3 | #·Generated·by·libtool·(GNU·libtool)·2.4.2·Debian-2.4.2-1.7ubuntu1 |
4 | # | 4 | # |
5 | #·The·gta_example·program·cannot·be·directly·executed·until·all·the·libtool | 5 | #·The·gta_example·program·cannot·be·directly·executed·until·all·the·libtool |
6 | #·libraries·that·it·depends·on·are·installed. | 6 | #·libraries·that·it·depends·on·are·installed. |
7 | # | 7 | # |
Offset 71, 17 lines modified | Offset 71, 17 lines modified | ||
71 | ··lt_script_arg0=$0 | 71 | ··lt_script_arg0=$0 |
72 | ··shift | 72 | ··shift |
73 | ··for·lt_opt | 73 | ··for·lt_opt |
74 | ··do | 74 | ··do |
75 | ····case·"$lt_opt"·in | 75 | ····case·"$lt_opt"·in |
76 | ····--lt-debug)·lt_option_debug=1·;; | 76 | ····--lt-debug)·lt_option_debug=1·;; |
77 | ····--lt-dump-script) | 77 | ····--lt-dump-script) |
78 | ········lt_dump_D=`$ECHO·"X$lt_script_arg0"·|·/bin/sed·-e·'s/^X//'·-e·'s%/[^/]*$%%'` | 78 | ········lt_dump_D=`$ECHO·"X$lt_script_arg0"·|·/usr/bin/sed·-e·'s/^X//'·-e·'s%/[^/]*$%%'` |
79 | ········test·"X$lt_dump_D"·=·"X$lt_script_arg0"·&&·lt_dump_D=. | 79 | ········test·"X$lt_dump_D"·=·"X$lt_script_arg0"·&&·lt_dump_D=. |
80 | ········lt_dump_F=`$ECHO·"X$lt_script_arg0"·|·/bin/sed·-e·'s/^X//'·-e·'s%^.*/%%'` | 80 | ········lt_dump_F=`$ECHO·"X$lt_script_arg0"·|·/usr/bin/sed·-e·'s/^X//'·-e·'s%^.*/%%'` |
81 | ········cat·"$lt_dump_D/$lt_dump_F" | 81 | ········cat·"$lt_dump_D/$lt_dump_F" |
82 | ········exit·0 | 82 | ········exit·0 |
83 | ······;; | 83 | ······;; |
84 | ····--lt-*) | 84 | ····--lt-*) |
85 | ········$ECHO·"Unrecognized·--lt-·option:·'$lt_opt'"·1>&2 | 85 | ········$ECHO·"Unrecognized·--lt-·option:·'$lt_opt'"·1>&2 |
86 | ········exit·1 | 86 | ········exit·1 |
87 | ······;; | 87 | ······;; |
Offset 139, 45 lines modified | Offset 139, 45 lines modified | ||
139 | ··func_exec_program_core·${1+"$@"} | 139 | ··func_exec_program_core·${1+"$@"} |
140 | } | 140 | } |
141 | ··#·Parse·options | 141 | ··#·Parse·options |
142 | ··func_parse_lt_options·"$0"·${1+"$@"} | 142 | ··func_parse_lt_options·"$0"·${1+"$@"} |
143 | ··#·Find·the·directory·that·this·script·lives·in. | 143 | ··#·Find·the·directory·that·this·script·lives·in. |
144 | ··thisdir=`$ECHO·"$file"·|·/bin/sed·'s%/[^/]*$%%'` | 144 | ··thisdir=`$ECHO·"$file"·|·/usr/bin/sed·'s%/[^/]*$%%'` |
145 | ··test·"x$thisdir"·=·"x$file"·&&·thisdir=. | 145 | ··test·"x$thisdir"·=·"x$file"·&&·thisdir=. |
146 | ··#·Follow·symbolic·links·until·we·get·to·the·real·thisdir. | 146 | ··#·Follow·symbolic·links·until·we·get·to·the·real·thisdir. |
147 | ··file=`ls·-ld·"$file"·|·/bin/sed·-n·'s/.*->·//p'` | 147 | ··file=`ls·-ld·"$file"·|·/usr/bin/sed·-n·'s/.*->·//p'` |
148 | ··while·test·-n·"$file";·do | 148 | ··while·test·-n·"$file";·do |
149 | ····destdir=`$ECHO·"$file"·|·/bin/sed·'s%/[^/]*$%%'` | 149 | ····destdir=`$ECHO·"$file"·|·/usr/bin/sed·'s%/[^/]*$%%'` |
150 | ····#·If·there·was·a·directory·component,·then·change·thisdir. | 150 | ····#·If·there·was·a·directory·component,·then·change·thisdir. |
151 | ····if·test·"x$destdir"·!=·"x$file";·then | 151 | ····if·test·"x$destdir"·!=·"x$file";·then |
152 | ······case·"$destdir"·in | 152 | ······case·"$destdir"·in |
153 | ······[\\/]*·|·[A-Za-z]:[\\/]*)·thisdir="$destdir"·;; | 153 | ······[\\/]*·|·[A-Za-z]:[\\/]*)·thisdir="$destdir"·;; |
154 | ······*)·thisdir="$thisdir/$destdir"·;; | 154 | ······*)·thisdir="$thisdir/$destdir"·;; |
155 | ······esac | 155 | ······esac |
156 | ····fi | 156 | ····fi |
157 | ····file=`$ECHO·"$file"·|·/bin/sed·'s%^.*/%%'` | 157 | ····file=`$ECHO·"$file"·|·/usr/bin/sed·'s%^.*/%%'` |
158 | ····file=`ls·-ld·"$thisdir/$file"·|·/bin/sed·-n·'s/.*->·//p'` | 158 | ····file=`ls·-ld·"$thisdir/$file"·|·/usr/bin/sed·-n·'s/.*->·//p'` |
159 | ··done | 159 | ··done |
160 | ··#·Usually·'no',·except·on·cygwin/mingw·when·embedded·into | 160 | ··#·Usually·'no',·except·on·cygwin/mingw·when·embedded·into |
161 | ··#·the·cwrapper. | 161 | ··#·the·cwrapper. |
162 | ··WRAPPER_SCRIPT_BELONGS_IN_OBJDIR=no | 162 | ··WRAPPER_SCRIPT_BELONGS_IN_OBJDIR=no |
163 | ··if·test·"$WRAPPER_SCRIPT_BELONGS_IN_OBJDIR"·=·"yes";·then | 163 | ··if·test·"$WRAPPER_SCRIPT_BELONGS_IN_OBJDIR"·=·"yes";·then |
164 | ····#·special·case·for·'.' | 164 | ····#·special·case·for·'.' |
165 | ····if·test·"$thisdir"·=·".";·then | 165 | ····if·test·"$thisdir"·=·".";·then |
166 | ······thisdir=`pwd` | 166 | ······thisdir=`pwd` |
167 | ····fi | 167 | ····fi |
168 | ····#·remove·.libs·from·thisdir | 168 | ····#·remove·.libs·from·thisdir |
169 | ····case·"$thisdir"·in | 169 | ····case·"$thisdir"·in |
170 | ····*[\\/].libs·)·thisdir=`$ECHO·"$thisdir"·|·/bin/sed·'s%[\\/][^\\/]*$%%'`·;; | 170 | ····*[\\/].libs·)·thisdir=`$ECHO·"$thisdir"·|·/usr/bin/sed·'s%[\\/][^\\/]*$%%'`·;; |
171 | ····.libs·)···thisdir=.·;; | 171 | ····.libs·)···thisdir=.·;; |
172 | ····esac | 172 | ····esac |
173 | ··fi | 173 | ··fi |
174 | ··#·Try·to·get·the·absolute·directory·name. | 174 | ··#·Try·to·get·the·absolute·directory·name. |
175 | ··absdir=`cd·"$thisdir"·&&·pwd` | 175 | ··absdir=`cd·"$thisdir"·&&·pwd` |
176 | ··test·-n·"$absdir"·&&·thisdir="$absdir" | 176 | ··test·-n·"$absdir"·&&·thisdir="$absdir" |
Offset 188, 15 lines modified | Offset 188, 15 lines modified | ||
188 | ··if·test·-f·"$progdir/$program";·then | 188 | ··if·test·-f·"$progdir/$program";·then |
189 | ····#·Add·our·own·library·path·to·LD_LIBRARY_PATH | 189 | ····#·Add·our·own·library·path·to·LD_LIBRARY_PATH |
190 | ····LD_LIBRARY_PATH="/build/mona-1.4-17/Mem/.libs:/build/mona-1.4-17/BDD/.libs:/build/mona-1.4-17/GTA/.libs:$LD_LIBRARY_PATH" | 190 | ····LD_LIBRARY_PATH="/build/mona-1.4-17/Mem/.libs:/build/mona-1.4-17/BDD/.libs:/build/mona-1.4-17/GTA/.libs:$LD_LIBRARY_PATH" |
191 | ····#·Some·systems·cannot·cope·with·colon-terminated·LD_LIBRARY_PATH | 191 | ····#·Some·systems·cannot·cope·with·colon-terminated·LD_LIBRARY_PATH |
192 | ····#·The·second·colon·is·a·workaround·for·a·bug·in·BeOS·R4·sed | 192 | ····#·The·second·colon·is·a·workaround·for·a·bug·in·BeOS·R4·sed |
193 | ····LD_LIBRARY_PATH=`$ECHO·"$LD_LIBRARY_PATH"·|·/bin/sed·'s/::*$//'` | 193 | ····LD_LIBRARY_PATH=`$ECHO·"$LD_LIBRARY_PATH"·|·/usr/bin/sed·'s/::*$//'` |
194 | ····export·LD_LIBRARY_PATH | 194 | ····export·LD_LIBRARY_PATH |
195 | ····if·test·"$libtool_execute_magic"·!=·"%%%MAGIC·variable%%%";·then | 195 | ····if·test·"$libtool_execute_magic"·!=·"%%%MAGIC·variable%%%";·then |
196 | ······#·Run·the·actual·program·with·our·arguments. | 196 | ······#·Run·the·actual·program·with·our·arguments. |
197 | ······func_exec_program·${1+"$@"} | 197 | ······func_exec_program·${1+"$@"} |
198 | ····fi | 198 | ····fi |
Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
1 | gzip·compressed·data,·max·compression,·from·Unix,·original·size·200 | 1 | gzip·compressed·data,·max·compression,·from·Unix,·original·size·20051 |
Offset 201, 18 lines modified | Offset 201, 18 lines modified | ||
201 | DEPDIR·=·.deps | 201 | DEPDIR·=·.deps |
202 | DLLTOOL·=·false | 202 | DLLTOOL·=·false |
203 | DSYMUTIL·=· | 203 | DSYMUTIL·=· |
204 | DUMPBIN·=· | 204 | DUMPBIN·=· |
205 | ECHO_C·=· | 205 | ECHO_C·=· |
206 | ECHO_N·=·-n | 206 | ECHO_N·=·-n |
207 | ECHO_T·=· | 207 | ECHO_T·=· |
208 | EGREP·=·/bin/grep·-E | 208 | EGREP·=·/usr/bin/grep·-E |
209 | EXEEXT·=· | 209 | EXEEXT·=· |
210 | FGREP·=·/bin/grep·-F | 210 | FGREP·=·/usr/bin/grep·-F |
211 | GREP·=·/bin/grep | 211 | GREP·=·/usr/bin/grep |
212 | INSTALL·=·/usr/bin/install·-c | 212 | INSTALL·=·/usr/bin/install·-c |
213 | INSTALL_DATA·=·${INSTALL}·-m·644 | 213 | INSTALL_DATA·=·${INSTALL}·-m·644 |
214 | INSTALL_PROGRAM·=·${INSTALL} | 214 | INSTALL_PROGRAM·=·${INSTALL} |
215 | INSTALL_SCRIPT·=·${INSTALL} | 215 | INSTALL_SCRIPT·=·${INSTALL} |
216 | INSTALL_STRIP_PROGRAM·=·$(install_sh)·-c·-s | 216 | INSTALL_STRIP_PROGRAM·=·$(install_sh)·-c·-s |
217 | LD·=·/usr/bin/ld | 217 | LD·=·/usr/bin/ld |
218 | LDFLAGS·=·-Wl,-z,relro | 218 | LDFLAGS·=·-Wl,-z,relro |
Offset 223, 15 lines modified | Offset 223, 15 lines modified | ||
223 | LIBS·=· | 223 | LIBS·=· |
224 | LIBTOOL·=·$(SHELL)·$(top_builddir)/libtool | 224 | LIBTOOL·=·$(SHELL)·$(top_builddir)/libtool |
225 | LIPO·=· | 225 | LIPO·=· |
226 | LN_S·=·ln·-s | 226 | LN_S·=·ln·-s |
227 | LTLIBOBJS·=· | 227 | LTLIBOBJS·=· |
228 | MAKEINFO·=·${SHELL}·/build/mona-1.4-17/config/missing·makeinfo | 228 | MAKEINFO·=·${SHELL}·/build/mona-1.4-17/config/missing·makeinfo |
229 | MANIFEST_TOOL·=·: | 229 | MANIFEST_TOOL·=·: |
230 | MKDIR_P·=·/bin/mkdir·-p | 230 | MKDIR_P·=·/usr/bin/mkdir·-p |
231 | NM·=·/usr/bin/nm·-B | 231 | NM·=·/usr/bin/nm·-B |
232 | NMEDIT·=· | 232 | NMEDIT·=· |
233 | OBJDUMP·=·objdump | 233 | OBJDUMP·=·objdump |
234 | OBJEXT·=·o | 234 | OBJEXT·=·o |
235 | OTOOL·=· | 235 | OTOOL·=· |
236 | OTOOL64·=· | 236 | OTOOL64·=· |
237 | PACKAGE·=·mona | 237 | PACKAGE·=·mona |
Offset 240, 17 lines modified | Offset 240, 17 lines modified | ||
240 | PACKAGE_STRING·=·mona·1.4 | 240 | PACKAGE_STRING·=·mona·1.4 |
241 | PACKAGE_TARNAME·=·mona | 241 | PACKAGE_TARNAME·=·mona |
242 | PACKAGE_URL·=·http://www.brics.dk/mona/ | 242 | PACKAGE_URL·=·http://www.brics.dk/mona/ |
243 | PACKAGE_VERSION·=·1.4 | 243 | PACKAGE_VERSION·=·1.4 |
244 | PATH_SEPARATOR·=·: | 244 | PATH_SEPARATOR·=·: |
245 | RANLIB·=·ranlib | 245 | RANLIB·=·ranlib |
246 | RELEASE·=·17 | 246 | RELEASE·=·17 |
247 | SED·=·/bin/sed | 247 | SED·=·/usr/bin/sed |
248 | SET_MAKE·=· | 248 | SET_MAKE·=· |
249 | SHELL·=·/bin/ | 249 | SHELL·=·/bin/sh |
250 | STRIP·=·strip | 250 | STRIP·=·strip |
251 | VERSION·=·1.4 | 251 | VERSION·=·1.4 |
252 | YACC·=·bison·-y | 252 | YACC·=·bison·-y |
253 | YFLAGS·=· | 253 | YFLAGS·=· |
254 | abs_builddir·=·/build/mona-1.4-17/Examples | 254 | abs_builddir·=·/build/mona-1.4-17/Examples |
255 | abs_srcdir·=·/build/mona-1.4-17/Examples | 255 | abs_srcdir·=·/build/mona-1.4-17/Examples |
256 | abs_top_builddir·=·/build/mona-1.4-17 | 256 | abs_top_builddir·=·/build/mona-1.4-17 |
Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
1 | gzip·compressed·data,·max·compression,·from·Unix,·original·size·6 | 1 | gzip·compressed·data,·max·compression,·from·Unix,·original·size·6531 |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | #!·/bin/ | 1 | #!·/bin/sh |
2 | #·presburger_analysis·-·temporary·wrapper·script·for·.libs/presburger_analysis | 2 | #·presburger_analysis·-·temporary·wrapper·script·for·.libs/presburger_analysis |
3 | #·Generated·by·libtool·(GNU·libtool)·2.4.2·Debian-2.4.2-1.7ubuntu1 | 3 | #·Generated·by·libtool·(GNU·libtool)·2.4.2·Debian-2.4.2-1.7ubuntu1 |
4 | # | 4 | # |
5 | #·The·presburger_analysis·program·cannot·be·directly·executed·until·all·the·libtool | 5 | #·The·presburger_analysis·program·cannot·be·directly·executed·until·all·the·libtool |
6 | #·libraries·that·it·depends·on·are·installed. | 6 | #·libraries·that·it·depends·on·are·installed. |
7 | # | 7 | # |
Offset 71, 17 lines modified | Offset 71, 17 lines modified | ||
71 | ··lt_script_arg0=$0 | 71 | ··lt_script_arg0=$0 |
72 | ··shift | 72 | ··shift |
73 | ··for·lt_opt | 73 | ··for·lt_opt |
74 | ··do | 74 | ··do |
75 | ····case·"$lt_opt"·in | 75 | ····case·"$lt_opt"·in |
76 | ····--lt-debug)·lt_option_debug=1·;; | 76 | ····--lt-debug)·lt_option_debug=1·;; |
77 | ····--lt-dump-script) | 77 | ····--lt-dump-script) |
78 | ········lt_dump_D=`$ECHO·"X$lt_script_arg0"·|·/bin/sed·-e·'s/^X//'·-e·'s%/[^/]*$%%'` | 78 | ········lt_dump_D=`$ECHO·"X$lt_script_arg0"·|·/usr/bin/sed·-e·'s/^X//'·-e·'s%/[^/]*$%%'` |
79 | ········test·"X$lt_dump_D"·=·"X$lt_script_arg0"·&&·lt_dump_D=. | 79 | ········test·"X$lt_dump_D"·=·"X$lt_script_arg0"·&&·lt_dump_D=. |
80 | ········lt_dump_F=`$ECHO·"X$lt_script_arg0"·|·/bin/sed·-e·'s/^X//'·-e·'s%^.*/%%'` | 80 | ········lt_dump_F=`$ECHO·"X$lt_script_arg0"·|·/usr/bin/sed·-e·'s/^X//'·-e·'s%^.*/%%'` |
81 | ········cat·"$lt_dump_D/$lt_dump_F" | 81 | ········cat·"$lt_dump_D/$lt_dump_F" |
82 | ········exit·0 | 82 | ········exit·0 |
83 | ······;; | 83 | ······;; |
84 | ····--lt-*) | 84 | ····--lt-*) |
85 | ········$ECHO·"Unrecognized·--lt-·option:·'$lt_opt'"·1>&2 | 85 | ········$ECHO·"Unrecognized·--lt-·option:·'$lt_opt'"·1>&2 |
86 | ········exit·1 | 86 | ········exit·1 |
87 | ······;; | 87 | ······;; |
Offset 139, 45 lines modified | Offset 139, 45 lines modified | ||
139 | ··func_exec_program_core·${1+"$@"} | 139 | ··func_exec_program_core·${1+"$@"} |
140 | } | 140 | } |
141 | ··#·Parse·options | 141 | ··#·Parse·options |
142 | ··func_parse_lt_options·"$0"·${1+"$@"} | 142 | ··func_parse_lt_options·"$0"·${1+"$@"} |
143 | ··#·Find·the·directory·that·this·script·lives·in. | 143 | ··#·Find·the·directory·that·this·script·lives·in. |
144 | ··thisdir=`$ECHO·"$file"·|·/bin/sed·'s%/[^/]*$%%'` | 144 | ··thisdir=`$ECHO·"$file"·|·/usr/bin/sed·'s%/[^/]*$%%'` |
145 | ··test·"x$thisdir"·=·"x$file"·&&·thisdir=. | 145 | ··test·"x$thisdir"·=·"x$file"·&&·thisdir=. |
146 | ··#·Follow·symbolic·links·until·we·get·to·the·real·thisdir. | 146 | ··#·Follow·symbolic·links·until·we·get·to·the·real·thisdir. |
147 | ··file=`ls·-ld·"$file"·|·/bin/sed·-n·'s/.*->·//p'` | 147 | ··file=`ls·-ld·"$file"·|·/usr/bin/sed·-n·'s/.*->·//p'` |
148 | ··while·test·-n·"$file";·do | 148 | ··while·test·-n·"$file";·do |
149 | ····destdir=`$ECHO·"$file"·|·/bin/sed·'s%/[^/]*$%%'` | 149 | ····destdir=`$ECHO·"$file"·|·/usr/bin/sed·'s%/[^/]*$%%'` |
150 | ····#·If·there·was·a·directory·component,·then·change·thisdir. | 150 | ····#·If·there·was·a·directory·component,·then·change·thisdir. |
151 | ····if·test·"x$destdir"·!=·"x$file";·then | 151 | ····if·test·"x$destdir"·!=·"x$file";·then |
152 | ······case·"$destdir"·in | 152 | ······case·"$destdir"·in |
153 | ······[\\/]*·|·[A-Za-z]:[\\/]*)·thisdir="$destdir"·;; | 153 | ······[\\/]*·|·[A-Za-z]:[\\/]*)·thisdir="$destdir"·;; |
154 | ······*)·thisdir="$thisdir/$destdir"·;; | 154 | ······*)·thisdir="$thisdir/$destdir"·;; |
155 | ······esac | 155 | ······esac |
156 | ····fi | 156 | ····fi |
157 | ····file=`$ECHO·"$file"·|·/bin/sed·'s%^.*/%%'` | 157 | ····file=`$ECHO·"$file"·|·/usr/bin/sed·'s%^.*/%%'` |
158 | ····file=`ls·-ld·"$thisdir/$file"·|·/bin/sed·-n·'s/.*->·//p'` | 158 | ····file=`ls·-ld·"$thisdir/$file"·|·/usr/bin/sed·-n·'s/.*->·//p'` |
159 | ··done | 159 | ··done |
160 | ··#·Usually·'no',·except·on·cygwin/mingw·when·embedded·into | 160 | ··#·Usually·'no',·except·on·cygwin/mingw·when·embedded·into |
161 | ··#·the·cwrapper. | 161 | ··#·the·cwrapper. |
162 | ··WRAPPER_SCRIPT_BELONGS_IN_OBJDIR=no | 162 | ··WRAPPER_SCRIPT_BELONGS_IN_OBJDIR=no |
163 | ··if·test·"$WRAPPER_SCRIPT_BELONGS_IN_OBJDIR"·=·"yes";·then | 163 | ··if·test·"$WRAPPER_SCRIPT_BELONGS_IN_OBJDIR"·=·"yes";·then |
164 | ····#·special·case·for·'.' | 164 | ····#·special·case·for·'.' |
165 | ····if·test·"$thisdir"·=·".";·then | 165 | ····if·test·"$thisdir"·=·".";·then |
166 | ······thisdir=`pwd` | 166 | ······thisdir=`pwd` |
167 | ····fi | 167 | ····fi |
168 | ····#·remove·.libs·from·thisdir | 168 | ····#·remove·.libs·from·thisdir |
169 | ····case·"$thisdir"·in | 169 | ····case·"$thisdir"·in |
170 | ····*[\\/].libs·)·thisdir=`$ECHO·"$thisdir"·|·/bin/sed·'s%[\\/][^\\/]*$%%'`·;; | 170 | ····*[\\/].libs·)·thisdir=`$ECHO·"$thisdir"·|·/usr/bin/sed·'s%[\\/][^\\/]*$%%'`·;; |
171 | ····.libs·)···thisdir=.·;; | 171 | ····.libs·)···thisdir=.·;; |
172 | ····esac | 172 | ····esac |
173 | ··fi | 173 | ··fi |
174 | ··#·Try·to·get·the·absolute·directory·name. | 174 | ··#·Try·to·get·the·absolute·directory·name. |
175 | ··absdir=`cd·"$thisdir"·&&·pwd` | 175 | ··absdir=`cd·"$thisdir"·&&·pwd` |
176 | ··test·-n·"$absdir"·&&·thisdir="$absdir" | 176 | ··test·-n·"$absdir"·&&·thisdir="$absdir" |
Offset 188, 15 lines modified | Offset 188, 15 lines modified | ||
188 | ··if·test·-f·"$progdir/$program";·then | 188 | ··if·test·-f·"$progdir/$program";·then |
189 | ····#·Add·our·own·library·path·to·LD_LIBRARY_PATH | 189 | ····#·Add·our·own·library·path·to·LD_LIBRARY_PATH |
190 | ····LD_LIBRARY_PATH="/build/mona-1.4-17/Mem/.libs:/build/mona-1.4-17/BDD/.libs:/build/mona-1.4-17/DFA/.libs:$LD_LIBRARY_PATH" | 190 | ····LD_LIBRARY_PATH="/build/mona-1.4-17/Mem/.libs:/build/mona-1.4-17/BDD/.libs:/build/mona-1.4-17/DFA/.libs:$LD_LIBRARY_PATH" |
191 | ····#·Some·systems·cannot·cope·with·colon-terminated·LD_LIBRARY_PATH | 191 | ····#·Some·systems·cannot·cope·with·colon-terminated·LD_LIBRARY_PATH |
192 | ····#·The·second·colon·is·a·workaround·for·a·bug·in·BeOS·R4·sed | 192 | ····#·The·second·colon·is·a·workaround·for·a·bug·in·BeOS·R4·sed |
193 | ····LD_LIBRARY_PATH=`$ECHO·"$LD_LIBRARY_PATH"·|·/bin/sed·'s/::*$//'` | 193 | ····LD_LIBRARY_PATH=`$ECHO·"$LD_LIBRARY_PATH"·|·/usr/bin/sed·'s/::*$//'` |
194 | ····export·LD_LIBRARY_PATH | 194 | ····export·LD_LIBRARY_PATH |
195 | ····if·test·"$libtool_execute_magic"·!=·"%%%MAGIC·variable%%%";·then | 195 | ····if·test·"$libtool_execute_magic"·!=·"%%%MAGIC·variable%%%";·then |
196 | ······#·Run·the·actual·program·with·our·arguments. | 196 | ······#·Run·the·actual·program·with·our·arguments. |
197 | ······func_exec_program·${1+"$@"} | 197 | ······func_exec_program·${1+"$@"} |
198 | ····fi | 198 | ····fi |
Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
1 | gzip·compressed·data,·max·compression,·from·Unix,·original·size·65 | 1 | gzip·compressed·data,·max·compression,·from·Unix,·original·size·6571 |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | #!·/bin/ | 1 | #!·/bin/sh |
2 | #·presburger_transduction·-·temporary·wrapper·script·for·.libs/presburger_transduction | 2 | #·presburger_transduction·-·temporary·wrapper·script·for·.libs/presburger_transduction |
3 | #·Generated·by·libtool·(GNU·libtool)·2.4.2·Debian-2.4.2-1.7ubuntu1 | 3 | #·Generated·by·libtool·(GNU·libtool)·2.4.2·Debian-2.4.2-1.7ubuntu1 |
4 | # | 4 | # |
5 | #·The·presburger_transduction·program·cannot·be·directly·executed·until·all·the·libtool | 5 | #·The·presburger_transduction·program·cannot·be·directly·executed·until·all·the·libtool |
6 | #·libraries·that·it·depends·on·are·installed. | 6 | #·libraries·that·it·depends·on·are·installed. |
7 | # | 7 | # |
Offset 71, 17 lines modified | Offset 71, 17 lines modified | ||
71 | ··lt_script_arg0=$0 | 71 | ··lt_script_arg0=$0 |
72 | ··shift | 72 | ··shift |
73 | ··for·lt_opt | 73 | ··for·lt_opt |
74 | ··do | 74 | ··do |
75 | ····case·"$lt_opt"·in | 75 | ····case·"$lt_opt"·in |
76 | ····--lt-debug)·lt_option_debug=1·;; | 76 | ····--lt-debug)·lt_option_debug=1·;; |
77 | ····--lt-dump-script) | 77 | ····--lt-dump-script) |
78 | ········lt_dump_D=`$ECHO·"X$lt_script_arg0"·|·/bin/sed·-e·'s/^X//'·-e·'s%/[^/]*$%%'` | 78 | ········lt_dump_D=`$ECHO·"X$lt_script_arg0"·|·/usr/bin/sed·-e·'s/^X//'·-e·'s%/[^/]*$%%'` |
79 | ········test·"X$lt_dump_D"·=·"X$lt_script_arg0"·&&·lt_dump_D=. | 79 | ········test·"X$lt_dump_D"·=·"X$lt_script_arg0"·&&·lt_dump_D=. |
80 | ········lt_dump_F=`$ECHO·"X$lt_script_arg0"·|·/bin/sed·-e·'s/^X//'·-e·'s%^.*/%%'` | 80 | ········lt_dump_F=`$ECHO·"X$lt_script_arg0"·|·/usr/bin/sed·-e·'s/^X//'·-e·'s%^.*/%%'` |
81 | ········cat·"$lt_dump_D/$lt_dump_F" | 81 | ········cat·"$lt_dump_D/$lt_dump_F" |
82 | ········exit·0 | 82 | ········exit·0 |
83 | ······;; | 83 | ······;; |
84 | ····--lt-*) | 84 | ····--lt-*) |
85 | ········$ECHO·"Unrecognized·--lt-·option:·'$lt_opt'"·1>&2 | 85 | ········$ECHO·"Unrecognized·--lt-·option:·'$lt_opt'"·1>&2 |
86 | ········exit·1 | 86 | ········exit·1 |
87 | ······;; | 87 | ······;; |
Offset 139, 45 lines modified | Offset 139, 45 lines modified | ||
139 | ··func_exec_program_core·${1+"$@"} | 139 | ··func_exec_program_core·${1+"$@"} |
140 | } | 140 | } |
141 | ··#·Parse·options | 141 | ··#·Parse·options |
142 | ··func_parse_lt_options·"$0"·${1+"$@"} | 142 | ··func_parse_lt_options·"$0"·${1+"$@"} |
143 | ··#·Find·the·directory·that·this·script·lives·in. | 143 | ··#·Find·the·directory·that·this·script·lives·in. |
144 | ··thisdir=`$ECHO·"$file"·|·/bin/sed·'s%/[^/]*$%%'` | 144 | ··thisdir=`$ECHO·"$file"·|·/usr/bin/sed·'s%/[^/]*$%%'` |
145 | ··test·"x$thisdir"·=·"x$file"·&&·thisdir=. | 145 | ··test·"x$thisdir"·=·"x$file"·&&·thisdir=. |
146 | ··#·Follow·symbolic·links·until·we·get·to·the·real·thisdir. | 146 | ··#·Follow·symbolic·links·until·we·get·to·the·real·thisdir. |
147 | ··file=`ls·-ld·"$file"·|·/bin/sed·-n·'s/.*->·//p'` | 147 | ··file=`ls·-ld·"$file"·|·/usr/bin/sed·-n·'s/.*->·//p'` |
148 | ··while·test·-n·"$file";·do | 148 | ··while·test·-n·"$file";·do |
149 | ····destdir=`$ECHO·"$file"·|·/bin/sed·'s%/[^/]*$%%'` | 149 | ····destdir=`$ECHO·"$file"·|·/usr/bin/sed·'s%/[^/]*$%%'` |
150 | ····#·If·there·was·a·directory·component,·then·change·thisdir. | 150 | ····#·If·there·was·a·directory·component,·then·change·thisdir. |
151 | ····if·test·"x$destdir"·!=·"x$file";·then | 151 | ····if·test·"x$destdir"·!=·"x$file";·then |
152 | ······case·"$destdir"·in | 152 | ······case·"$destdir"·in |
153 | ······[\\/]*·|·[A-Za-z]:[\\/]*)·thisdir="$destdir"·;; | 153 | ······[\\/]*·|·[A-Za-z]:[\\/]*)·thisdir="$destdir"·;; |
154 | ······*)·thisdir="$thisdir/$destdir"·;; | 154 | ······*)·thisdir="$thisdir/$destdir"·;; |
155 | ······esac | 155 | ······esac |
156 | ····fi | 156 | ····fi |
157 | ····file=`$ECHO·"$file"·|·/bin/sed·'s%^.*/%%'` | 157 | ····file=`$ECHO·"$file"·|·/usr/bin/sed·'s%^.*/%%'` |
158 | ····file=`ls·-ld·"$thisdir/$file"·|·/bin/sed·-n·'s/.*->·//p'` | 158 | ····file=`ls·-ld·"$thisdir/$file"·|·/usr/bin/sed·-n·'s/.*->·//p'` |
159 | ··done | 159 | ··done |
160 | ··#·Usually·'no',·except·on·cygwin/mingw·when·embedded·into | 160 | ··#·Usually·'no',·except·on·cygwin/mingw·when·embedded·into |
161 | ··#·the·cwrapper. | 161 | ··#·the·cwrapper. |
162 | ··WRAPPER_SCRIPT_BELONGS_IN_OBJDIR=no | 162 | ··WRAPPER_SCRIPT_BELONGS_IN_OBJDIR=no |
163 | ··if·test·"$WRAPPER_SCRIPT_BELONGS_IN_OBJDIR"·=·"yes";·then | 163 | ··if·test·"$WRAPPER_SCRIPT_BELONGS_IN_OBJDIR"·=·"yes";·then |
164 | ····#·special·case·for·'.' | 164 | ····#·special·case·for·'.' |
165 | ····if·test·"$thisdir"·=·".";·then | 165 | ····if·test·"$thisdir"·=·".";·then |
166 | ······thisdir=`pwd` | 166 | ······thisdir=`pwd` |
167 | ····fi | 167 | ····fi |
168 | ····#·remove·.libs·from·thisdir | 168 | ····#·remove·.libs·from·thisdir |
169 | ····case·"$thisdir"·in | 169 | ····case·"$thisdir"·in |
170 | ····*[\\/].libs·)·thisdir=`$ECHO·"$thisdir"·|·/bin/sed·'s%[\\/][^\\/]*$%%'`·;; | 170 | ····*[\\/].libs·)·thisdir=`$ECHO·"$thisdir"·|·/usr/bin/sed·'s%[\\/][^\\/]*$%%'`·;; |
171 | ····.libs·)···thisdir=.·;; | 171 | ····.libs·)···thisdir=.·;; |
172 | ····esac | 172 | ····esac |
173 | ··fi | 173 | ··fi |
174 | ··#·Try·to·get·the·absolute·directory·name. | 174 | ··#·Try·to·get·the·absolute·directory·name. |
175 | ··absdir=`cd·"$thisdir"·&&·pwd` | 175 | ··absdir=`cd·"$thisdir"·&&·pwd` |
176 | ··test·-n·"$absdir"·&&·thisdir="$absdir" | 176 | ··test·-n·"$absdir"·&&·thisdir="$absdir" |
Offset 188, 15 lines modified | Offset 188, 15 lines modified | ||
188 | ··if·test·-f·"$progdir/$program";·then | 188 | ··if·test·-f·"$progdir/$program";·then |
189 | ····#·Add·our·own·library·path·to·LD_LIBRARY_PATH | 189 | ····#·Add·our·own·library·path·to·LD_LIBRARY_PATH |
190 | ····LD_LIBRARY_PATH="/build/mona-1.4-17/Mem/.libs:/build/mona-1.4-17/BDD/.libs:/build/mona-1.4-17/DFA/.libs:$LD_LIBRARY_PATH" | 190 | ····LD_LIBRARY_PATH="/build/mona-1.4-17/Mem/.libs:/build/mona-1.4-17/BDD/.libs:/build/mona-1.4-17/DFA/.libs:$LD_LIBRARY_PATH" |
191 | ····#·Some·systems·cannot·cope·with·colon-terminated·LD_LIBRARY_PATH | 191 | ····#·Some·systems·cannot·cope·with·colon-terminated·LD_LIBRARY_PATH |
192 | ····#·The·second·colon·is·a·workaround·for·a·bug·in·BeOS·R4·sed | 192 | ····#·The·second·colon·is·a·workaround·for·a·bug·in·BeOS·R4·sed |
193 | ····LD_LIBRARY_PATH=`$ECHO·"$LD_LIBRARY_PATH"·|·/bin/sed·'s/::*$//'` | 193 | ····LD_LIBRARY_PATH=`$ECHO·"$LD_LIBRARY_PATH"·|·/usr/bin/sed·'s/::*$//'` |
194 | ····export·LD_LIBRARY_PATH | 194 | ····export·LD_LIBRARY_PATH |
195 | ····if·test·"$libtool_execute_magic"·!=·"%%%MAGIC·variable%%%";·then | 195 | ····if·test·"$libtool_execute_magic"·!=·"%%%MAGIC·variable%%%";·then |
196 | ······#·Run·the·actual·program·with·our·arguments. | 196 | ······#·Run·the·actual·program·with·our·arguments. |
197 | ······func_exec_program·${1+"$@"} | 197 | ······func_exec_program·${1+"$@"} |
198 | ····fi | 198 | ····fi |