1 |
keri 07/11/21 06:25:29 |
2 |
|
3 |
Added: yap-5.1.2-configure.patch digest-yap-5.1.2 |
4 |
yap-5.1.2-chr.patch yap-5.1.2-multilib.patch |
5 |
yap-5.1.2-jpl.patch yap-5.1.2-tabling.patch |
6 |
yap-5.1.2-tkyap.patch yap-5.1.2-parallel-make.patch |
7 |
yap-5.1.2-SONAME.patch yap-5.1.2-analyst.patch |
8 |
Log: |
9 |
Version bump |
10 |
(Portage version: 2.1.3.19) |
11 |
|
12 |
Revision Changes Path |
13 |
1.1 dev-lang/yap/files/yap-5.1.2-configure.patch |
14 |
|
15 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-configure.patch?rev=1.1&view=markup |
16 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-configure.patch?rev=1.1&content-type=text/plain |
17 |
|
18 |
Index: yap-5.1.2-configure.patch |
19 |
=================================================================== |
20 |
--- Yap-5.1.2.orig/configure.in 2007-06-21 01:45:42.000000000 +1200 |
21 |
+++ Yap-5.1.2/configure.in 2007-08-20 20:19:45.000000000 +1200 |
22 |
@@ -43,7 +43,7 @@ |
23 |
[ --enable-threads support system threads ], |
24 |
threads="$enableval", threads=no) |
25 |
AC_ARG_ENABLE(pthread-locking, |
26 |
- [ --pthread-locking use pthread locking primitives for internal locking (requires threads) ], |
27 |
+ [ --enable-pthread-locking use pthread locking primitives for internal locking (requires threads) ], |
28 |
pthreadlocking="$enableval", pthreadlocking=no) |
29 |
AC_ARG_ENABLE(max-performance, |
30 |
[ --enable-max-performance try using the best flags for specific architecture ], |
31 |
@@ -91,22 +91,35 @@ |
32 |
fi, |
33 |
[yap_cv_gmp=yes]) |
34 |
|
35 |
-AC_ARG_ENABLE(myddas, |
36 |
- [ --enable-myddas[[=DIR]] enable the MYDDAS library], |
37 |
+AC_ARG_ENABLE(myddas-mysql, |
38 |
+ [ --enable-myddas-mysql[[=DIR]] enable the MYDDAS MySQL library], |
39 |
if test "$enableval" = yes; then |
40 |
- yap_cv_myddas=/usr/ |
41 |
+ yap_cv_myddas_mysql=/usr/ |
42 |
elif test "$enableval" = no; then |
43 |
- yap_cv_myddas=no |
44 |
+ yap_cv_myddas_mysql=no |
45 |
else |
46 |
- yap_cv_myddas=$enable_myddas |
47 |
- LDFLAGS="$LDFLAGS -L${yap_cv_myddas}/lib " |
48 |
- CPPFLAGS="$CPPFLAGS -I${yap_cv_myddas}/include " |
49 |
+ yap_cv_myddas_mysql=$enable_myddas_mysql |
50 |
+ LDFLAGS="$LDFLAGS -L${yap_cv_myddas_mysql}/lib " |
51 |
+ CPPFLAGS="$CPPFLAGS -I${yap_cv_myddas_mysql}/include " |
52 |
fi, |
53 |
- [yap_cv_myddas=no]) |
54 |
+ [yap_cv_myddas_mysql=no]) |
55 |
+ |
56 |
+AC_ARG_ENABLE(myddas-odbc, |
57 |
+ [ --enable-myddas-odbc[[=DIR]] enable the MYDDAS ODBC library], |
58 |
+ if test "$enableval" = yes; then |
59 |
+ yap_cv_myddas_odbc=/usr/ |
60 |
+ elif test "$enableval" = no; then |
61 |
+ yap_cv_myddas_odbc=no |
62 |
+ else |
63 |
+ yap_cv_myddas_odbc=$enable_myddas_odbc |
64 |
+ LDFLAGS="$LDFLAGS -L${yap_cv_myddas_odbc}/lib " |
65 |
+ CPPFLAGS="$CPPFLAGS -I${yap_cv_myddas_odbc}/include " |
66 |
+ fi, |
67 |
+ [yap_cv_myddas_odbc=no]) |
68 |
|
69 |
AC_ARG_ENABLE(myddas-stats, |
70 |
[ --enable-myddas-stats enable the MYDDAS library statistics support], |
71 |
- if test "$yap_cv_myddas" = no; then |
72 |
+ if test "$yap_cv_myddas_mysql" = no; then |
73 |
myddasstats=no |
74 |
else |
75 |
myddasstats="$enableval" |
76 |
@@ -114,7 +127,7 @@ |
77 |
|
78 |
AC_ARG_ENABLE(myddas-top-level, |
79 |
[ --enable-myddas-top-level enable the MYDDAS top-level support to MySQL], |
80 |
- if test "$yap_cv_myddas" = no; then |
81 |
+ if test "$yap_cv_myddas_mysql" = no; then |
82 |
myddastoplevel=no |
83 |
else |
84 |
myddastoplevel="$enableval" |
85 |
@@ -124,8 +137,6 @@ |
86 |
[ --with-jpl=JAVA_HOME use Java instalation in JAVA_HOME], |
87 |
if test "$withval" = yes; then |
88 |
yap_cv_jpl="$JAVA_HOME" |
89 |
- dynamic_loading=yes |
90 |
- maxmemory=yes |
91 |
dnl threads=yes |
92 |
elif test "$withval" = no; then |
93 |
yap_cv_jpl=no |
94 |
@@ -410,6 +421,8 @@ |
95 |
AC_PATH_PROG(INSTALL_INFO,install-info,true,$PATH:/sbin:/usr/sbin:/usr/etc:/usr/local/sbin) |
96 |
AC_PATH_PROG(SHELL,sh) |
97 |
|
98 |
+AC_HEADER_STDC |
99 |
+ |
100 |
dnl Check for libraries. |
101 |
dnl mingw does not get along well with libm |
102 |
dnl cygnus and mingw32 also need wsock32 to use sockets. |
103 |
@@ -464,7 +477,7 @@ |
104 |
AC_CHECK_LIB(gmp,main) |
105 |
fi |
106 |
|
107 |
-if test "$yap_cv_myddas" != "no" |
108 |
+if test "$yap_cv_myddas_mysql" != "no" |
109 |
then |
110 |
dnl check for mysql |
111 |
AC_MSG_CHECKING(for main in -lmysqlclient) |
112 |
@@ -481,9 +494,26 @@ |
113 |
if test "$yap_mysql" = yes |
114 |
then |
115 |
YAP_EXTRAS="$YAP_EXTRAS -DMYDDAS_MYSQL" |
116 |
- LIBS="$LIBS -L${yap_cv_myddas}/lib/mysql -lmysqlclient -lz -lcrypt -lnsl -lm -lc -lnss_files -lnss_dns -lresolv " |
117 |
+ LIBS="$LIBS -L${yap_cv_myddas_mysql}/lib/mysql -lmysqlclient -lz -lcrypt -lnsl -lm -lc -lnss_files -lnss_dns -lresolv " |
118 |
fi |
119 |
- |
120 |
+ if test "$yap_mysql" = no |
121 |
+ then |
122 |
+ echo "-------------------------------" |
123 |
+ echo "--" |
124 |
+ echo "--" |
125 |
+ echo "--" |
126 |
+ echo "-- There\'s no devel libraries for MySQL" |
127 |
+ echo "--" |
128 |
+ echo "--" |
129 |
+ echo "--" |
130 |
+ echo "-------------------------------" |
131 |
+ exit |
132 |
+ fi |
133 |
+ cutc="yes" |
134 |
+fi |
135 |
+ |
136 |
+if test "$yap_cv_myddas_odbc" != "no" |
137 |
+then |
138 |
dnl check for odbc |
139 |
AC_MSG_CHECKING(for main in -lodbc) |
140 |
AC_CACHE_VAL(yap_odbc,[ |
141 |
@@ -502,40 +532,21 @@ |
142 |
YAP_EXTRAS="$YAP_EXTRAS -DMYDDAS_ODBC" |
143 |
LIBS="$LIBS -lodbc " |
144 |
fi |
145 |
- |
146 |
- if test "$yap_mysql" = no -a "$yap_odbc" = no |
147 |
+ if test "$yap_odbc" = no |
148 |
then |
149 |
echo "-------------------------------" |
150 |
echo "--" |
151 |
echo "--" |
152 |
echo "--" |
153 |
- echo "-- There\'s no devel libraries for MySQL or ODBC" |
154 |
+ echo "-- There\'s no devel libraries for ODBC" |
155 |
echo "--" |
156 |
echo "--" |
157 |
echo "--" |
158 |
echo "-------------------------------" |
159 |
exit |
160 |
fi |
161 |
- |
162 |
- if test "$cutc" = no |
163 |
- then |
164 |
- echo |
165 |
- echo |
166 |
- echo "********************************************************" |
167 |
- echo |
168 |
- echo |
169 |
- echo "!!!!!! WARNING !!!!!!" |
170 |
- echo "The MYDDAS interface makes no sense without cut-c" |
171 |
- echo "Please contact tiagosoares@××××××.pt for help" |
172 |
- echo |
173 |
- echo "Enabling cut-c" |
174 |
- echo |
175 |
- echo "********************************************************" |
176 |
- echo |
177 |
- echo |
178 |
- cutc="yes" |
179 |
- fi |
180 |
-fi |
181 |
+ cutc="yes" |
182 |
+fi |
183 |
|
184 |
if test "$myddasstats" = "yes" |
185 |
then |
186 |
@@ -946,7 +957,6 @@ |
187 |
fi |
188 |
|
189 |
dnl Checks for header files. |
190 |
-AC_HEADER_STDC |
191 |
AC_HEADER_SYS_WAIT |
192 |
AC_CHECK_HEADERS(arpa/inet.h ctype.h direct.h dirent.h dlfcn.h) |
193 |
AC_CHECK_HEADERS(errno.h fcntl.h) |
194 |
@@ -965,7 +975,7 @@ |
195 |
then |
196 |
AC_CHECK_HEADERS(gmp.h) |
197 |
fi |
198 |
-if test "$yap_cv_myddas" != "no" |
199 |
+if test "$yap_cv_myddas_mysql" != "no" |
200 |
then |
201 |
AC_CHECK_HEADERS(mysql/mysql.h) |
202 |
fi |
203 |
|
204 |
|
205 |
|
206 |
1.1 dev-lang/yap/files/digest-yap-5.1.2 |
207 |
|
208 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/digest-yap-5.1.2?rev=1.1&view=markup |
209 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/digest-yap-5.1.2?rev=1.1&content-type=text/plain |
210 |
|
211 |
Index: digest-yap-5.1.2 |
212 |
=================================================================== |
213 |
MD5 368a8c8f764f50b927f21a9b727139c9 Yap-5.1.2.tar.gz 4102453 |
214 |
RMD160 be2f814a516a1b389bb910121af35898253f9137 Yap-5.1.2.tar.gz 4102453 |
215 |
SHA256 ee28e7077925685b0f375bb733e477b5a8cb08537fa5d1e2f387e20fa6e07ccb Yap-5.1.2.tar.gz 4102453 |
216 |
|
217 |
|
218 |
|
219 |
1.1 dev-lang/yap/files/yap-5.1.2-chr.patch |
220 |
|
221 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-chr.patch?rev=1.1&view=markup |
222 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-chr.patch?rev=1.1&content-type=text/plain |
223 |
|
224 |
Index: yap-5.1.2-chr.patch |
225 |
=================================================================== |
226 |
--- Yap-5.1.2.orig/LGPL/chr/Makefile.in 2005-10-29 13:47:10.000000000 +1300 |
227 |
+++ Yap-5.1.2/LGPL/chr/Makefile.in 2007-11-20 20:58:04.000000000 +1300 |
228 |
@@ -47,39 +47,50 @@ |
229 |
$(srcdir)/Benchmarks/bool.chr $(srcdir)/Benchmarks/family.chr $(srcdir)/Benchmarks/fibonacci.chr $(srcdir)/Benchmarks/leq.chr $(srcdir)/Benchmarks/listdom.chr \ |
230 |
$(srcdir)/Benchmarks/chrdif.chr |
231 |
|
232 |
+BOOTSTRAP=bootstrap('../../pl/init.yap'),module(user),['chr_swi_bootstrap'] |
233 |
+ |
234 |
all: chr_translate.pl |
235 |
|
236 |
chr_translate_bootstrap1.pl: $(srcdir)/chr_translate_bootstrap1.chr |
237 |
- $(PL) -l chr_swi_bootstrap.yap \ |
238 |
- -g "chr_compile_step1('$<','$@'),halt." \ |
239 |
- -z 'halt(1).' |
240 |
- $(PL) -l chr_swi_bootstrap.yap \ |
241 |
- -g "chr_compile_step2('$<','$@'),halt." \ |
242 |
- -z 'halt(1).' |
243 |
+ echo "$(BOOTSTRAP),chr:chr_compile_step1('$<','$@'),halt." | \ |
244 |
+ LD_LIBRARY_PATH=../..:system:yap2swi \ |
245 |
+ YAPSHAREDIR=$(PWD)/../../library \ |
246 |
+ $(PL) -b ../../pl/boot.yap |
247 |
+ echo "$(BOOTSTRAP),chr:chr_compile_step2('$<','$@'),halt." | \ |
248 |
+ LD_LIBRARY_PATH=../..:system:yap2swi \ |
249 |
+ YAPSHAREDIR=$(PWD)/../../library \ |
250 |
+ $(PL) -b ../../pl/boot.yap |
251 |
|
252 |
chr_translate_bootstrap2.pl: $(srcdir)/chr_translate_bootstrap2.chr chr_translate_bootstrap1.pl |
253 |
- $(PL) -l chr_swi_bootstrap.yap \ |
254 |
- -g "chr_compile_step2('$<','$@'),halt." \ |
255 |
- -z 'halt(1).' |
256 |
- $(PL) -l chr_swi_bootstrap.yap \ |
257 |
- -g "chr_compile_step3('$<','$@'),halt." \ |
258 |
- -z 'halt(1).' |
259 |
+ echo "$(BOOTSTRAP),chr:chr_compile_step2('$<','$@'),halt." | \ |
260 |
+ LD_LIBRARY_PATH=../..:system:yap2swi \ |
261 |
+ YAPSHAREDIR=$(PWD)/../../library \ |
262 |
+ $(PL) -b ../../pl/boot.yap |
263 |
+ echo "$(BOOTSTRAP),chr:chr_compile_step3('$<','$@'),halt." | \ |
264 |
+ LD_LIBRARY_PATH=../..:system:yap2swi \ |
265 |
+ YAPSHAREDIR=$(PWD)/../../library \ |
266 |
+ $(PL) -b ../../pl/boot.yap |
267 |
|
268 |
guard_entailment.pl: $(srcdir)/guard_entailment.chr chr_translate_bootstrap2.pl |
269 |
- $(PL) -l chr_swi_bootstrap.yap \ |
270 |
- -g "chr_compile_step3('$<','$@'),halt." \ |
271 |
- -z 'halt(1).' |
272 |
+ echo "$(BOOTSTRAP),chr:chr_compile_step3('$<','$@'),halt." | \ |
273 |
+ LD_LIBRARY_PATH=../..:system:yap2swi \ |
274 |
+ YAPSHAREDIR=$(PWD)/../../library \ |
275 |
+ $(PL) -b ../../pl/boot.yap |
276 |
|
277 |
chr_translate.pl: $(srcdir)/chr_translate.chr chr_translate_bootstrap2.pl guard_entailment.pl |
278 |
- $(PL) -l chr_swi_bootstrap.yap \ |
279 |
- -g "chr_compile_step3('$<','$@'),halt." \ |
280 |
- -z 'halt(1).' |
281 |
- $(PL) -p chr=. -l chr_swi_bootstrap.yap \ |
282 |
- -g "chr_compile_step4('guard_entailment.chr','guard_entailment.pl'),halt." \ |
283 |
- -z 'halt(1).' |
284 |
- $(PL) -p chr=. -l chr_swi_bootstrap.yap \ |
285 |
- -g "chr_compile_step4('$<','$@'),halt." \ |
286 |
- -z 'halt(1).' |
287 |
+ echo "$(BOOTSTRAP),chr:chr_compile_step3('$<','$@'),halt." | \ |
288 |
+ LD_LIBRARY_PATH=../..:system:yap2swi \ |
289 |
+ YAPSHAREDIR=$(PWD)/../../library \ |
290 |
+ $(PL) -b ../../pl/boot.yap |
291 |
+ echo "$(BOOTSTRAP),asserta(user:file_search_path(chr,'.')),chr:chr_compile_step4('guard_entailment.chr','guard_entailment.pl'),halt." | \ |
292 |
+ LD_LIBRARY_PATH=../..:system:yap2swi \ |
293 |
+ YAPSHAREDIR=$(PWD)/../../library \ |
294 |
+ $(PL) -b ../../pl/boot.yap |
295 |
+ cp ../clp/clp_events.pl ../../library/clp |
296 |
+ echo "$(BOOTSTRAP),asserta(user:file_search_path(chr,'.')),chr:chr_compile_step4('$<','$@'),halt." | \ |
297 |
+ LD_LIBRARY_PATH=../..:system:yap2swi \ |
298 |
+ YAPSHAREDIR=$(PWD)/../../library \ |
299 |
+ $(PL) -b ../../pl/boot.yap |
300 |
|
301 |
chr.pl: chr_swi.pl |
302 |
cp $< $@ |
303 |
|
304 |
|
305 |
|
306 |
1.1 dev-lang/yap/files/yap-5.1.2-multilib.patch |
307 |
|
308 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-multilib.patch?rev=1.1&view=markup |
309 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-multilib.patch?rev=1.1&content-type=text/plain |
310 |
|
311 |
Index: yap-5.1.2-multilib.patch |
312 |
=================================================================== |
313 |
diff -ur Yap-5.1.2.orig/CLPBN/Makefile.in Yap-5.1.2/CLPBN/Makefile.in |
314 |
--- Yap-5.1.2.orig/CLPBN/Makefile.in 2006-02-12 13:41:23.000000000 +1300 |
315 |
+++ Yap-5.1.2/CLPBN/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
316 |
@@ -9,7 +9,7 @@ |
317 |
# |
318 |
# where YAP should look for libraries |
319 |
# |
320 |
-LIBDIR=$(ROOTDIR)/lib/Yap |
321 |
+LIBDIR=@libdir@/Yap |
322 |
# |
323 |
# where YAP should look for architecture-independent Prolog libraries |
324 |
# |
325 |
diff -ur Yap-5.1.2.orig/LGPL/JPL/Makefile.in Yap-5.1.2/LGPL/JPL/Makefile.in |
326 |
--- Yap-5.1.2.orig/LGPL/JPL/Makefile.in 2005-03-12 17:04:58.000000000 +1300 |
327 |
+++ Yap-5.1.2/LGPL/JPL/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
328 |
@@ -9,7 +9,7 @@ |
329 |
# |
330 |
# where YAP should look for binary libraries |
331 |
# |
332 |
-LIBDIR=$(ROOTDIR)/lib/Yap |
333 |
+LIBDIR=@libdir@/Yap |
334 |
# |
335 |
# where YAP should look for architecture-independent Prolog libraries |
336 |
# |
337 |
diff -ur Yap-5.1.2.orig/LGPL/JPL/java/Makefile.in Yap-5.1.2/LGPL/JPL/java/Makefile.in |
338 |
--- Yap-5.1.2.orig/LGPL/JPL/java/Makefile.in 2006-03-22 10:28:08.000000000 +1200 |
339 |
+++ Yap-5.1.2/LGPL/JPL/java/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
340 |
@@ -15,7 +15,7 @@ |
341 |
# |
342 |
# where YAP should look for binary libraries |
343 |
# |
344 |
-LIBDIR=$(ROOTDIR)/lib/Yap |
345 |
+LIBDIR=@libdir@/Yap |
346 |
# |
347 |
# where YAP should look for architecture-independent Prolog libraries |
348 |
# |
349 |
diff -ur Yap-5.1.2.orig/LGPL/JPL/src/Makefile.in Yap-5.1.2/LGPL/JPL/src/Makefile.in |
350 |
--- Yap-5.1.2.orig/LGPL/JPL/src/Makefile.in 2006-05-25 13:02:03.000000000 +1200 |
351 |
+++ Yap-5.1.2/LGPL/JPL/src/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
352 |
@@ -19,7 +19,7 @@ |
353 |
# |
354 |
# where YAP should look for libraries |
355 |
# |
356 |
-LIBDIR=$(EROOTDIR)/lib/Yap |
357 |
+LIBDIR=@libdir@/Yap |
358 |
# |
359 |
# |
360 |
CC=@CC@ |
361 |
diff -ur Yap-5.1.2.orig/LGPL/clp/Makefile.in Yap-5.1.2/LGPL/clp/Makefile.in |
362 |
--- Yap-5.1.2.orig/LGPL/clp/Makefile.in 2005-10-28 15:43:57.000000000 +1300 |
363 |
+++ Yap-5.1.2/LGPL/clp/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
364 |
@@ -9,7 +9,7 @@ |
365 |
# |
366 |
# where YAP should look for binary libraries |
367 |
# |
368 |
-LIBDIR=$(ROOTDIR)/lib/Yap |
369 |
+LIBDIR=@libdir@/Yap |
370 |
# |
371 |
# where YAP should look for architecture-independent Prolog libraries |
372 |
# |
373 |
diff -ur Yap-5.1.2.orig/Makefile.in Yap-5.1.2/Makefile.in |
374 |
--- Yap-5.1.2.orig/Makefile.in 2007-06-21 01:45:42.000000000 +1200 |
375 |
+++ Yap-5.1.2/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
376 |
@@ -4,7 +4,7 @@ |
377 |
# |
378 |
prefix = @prefix@ |
379 |
ROOTDIR = $(prefix) |
380 |
-EROOTDIR = @exec_prefix@ |
381 |
+EROOTDIR = @prefix@ |
382 |
# |
383 |
# where the binary should be |
384 |
# |
385 |
@@ -12,8 +12,8 @@ |
386 |
# |
387 |
# where YAP should look for binary libraries |
388 |
# |
389 |
-LIBDIR=$(EROOTDIR)/lib |
390 |
-YAPLIBDIR=$(EROOTDIR)/lib/Yap |
391 |
+LIBDIR=@libdir@ |
392 |
+YAPLIBDIR=@libdir@/Yap |
393 |
# |
394 |
# where YAP should look for architecture-independent Prolog libraries |
395 |
# |
396 |
diff -ur Yap-5.1.2.orig/library/Makefile.in Yap-5.1.2/library/Makefile.in |
397 |
--- Yap-5.1.2.orig/library/Makefile.in 2007-06-21 01:46:02.000000000 +1200 |
398 |
+++ Yap-5.1.2/library/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
399 |
@@ -9,7 +9,7 @@ |
400 |
# |
401 |
# where YAP should look for binary libraries |
402 |
# |
403 |
-LIBDIR=$(ROOTDIR)/lib/Yap |
404 |
+LIBDIR=@libdir@/Yap |
405 |
# |
406 |
# where YAP should look for architecture-independent Prolog libraries |
407 |
# |
408 |
diff -ur Yap-5.1.2.orig/library/Tries/Makefile.in Yap-5.1.2/library/Tries/Makefile.in |
409 |
--- Yap-5.1.2.orig/library/Tries/Makefile.in 2004-12-15 06:00:33.000000000 +1300 |
410 |
+++ Yap-5.1.2/library/Tries/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
411 |
@@ -18,7 +18,7 @@ |
412 |
# |
413 |
# where YAP should look for libraries |
414 |
# |
415 |
-LIBDIR=$(EROOTDIR)/lib/Yap |
416 |
+LIBDIR=@libdir@/Yap |
417 |
# |
418 |
# |
419 |
CC=@CC@ |
420 |
diff -ur Yap-5.1.2.orig/library/mpi/Makefile.in Yap-5.1.2/library/mpi/Makefile.in |
421 |
--- Yap-5.1.2.orig/library/mpi/Makefile.in 2004-12-15 06:00:33.000000000 +1300 |
422 |
+++ Yap-5.1.2/library/mpi/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
423 |
@@ -20,8 +20,8 @@ |
424 |
# |
425 |
# where YAP should look for binary libraries |
426 |
# |
427 |
-LIBDIR=$(EROOTDIR)/lib |
428 |
-YAPLIBDIR=$(EROOTDIR)/lib/Yap |
429 |
+LIBDIR=@libdir@ |
430 |
+YAPLIBDIR=@libdir@/Yap |
431 |
# |
432 |
# where YAP should look for architecture-independent Prolog libraries |
433 |
# |
434 |
diff -ur Yap-5.1.2.orig/library/random/Makefile.in Yap-5.1.2/library/random/Makefile.in |
435 |
--- Yap-5.1.2.orig/library/random/Makefile.in 2004-12-15 06:00:33.000000000 +1300 |
436 |
+++ Yap-5.1.2/library/random/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
437 |
@@ -12,7 +12,7 @@ |
438 |
# |
439 |
# where YAP should look for libraries |
440 |
# |
441 |
-LIBDIR=$(EROOTDIR)/lib/Yap |
442 |
+LIBDIR=@libdir@/Yap |
443 |
# |
444 |
# |
445 |
CC=@CC@ |
446 |
diff -ur Yap-5.1.2.orig/library/regex/Makefile.in Yap-5.1.2/library/regex/Makefile.in |
447 |
--- Yap-5.1.2.orig/library/regex/Makefile.in 2004-12-15 06:00:33.000000000 +1300 |
448 |
+++ Yap-5.1.2/library/regex/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
449 |
@@ -12,7 +12,7 @@ |
450 |
# |
451 |
# where YAP should look for libraries |
452 |
# |
453 |
-LIBDIR=$(EROOTDIR)/lib/Yap |
454 |
+LIBDIR=@libdir@/Yap |
455 |
# |
456 |
# |
457 |
CC=@CC@ |
458 |
diff -ur Yap-5.1.2.orig/library/system/Makefile.in Yap-5.1.2/library/system/Makefile.in |
459 |
--- Yap-5.1.2.orig/library/system/Makefile.in 2004-12-15 06:00:33.000000000 +1300 |
460 |
+++ Yap-5.1.2/library/system/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
461 |
@@ -12,7 +12,7 @@ |
462 |
# |
463 |
# where YAP should look for libraries |
464 |
# |
465 |
-LIBDIR=$(EROOTDIR)/lib/Yap |
466 |
+LIBDIR=@libdir@/Yap |
467 |
# |
468 |
# |
469 |
CC=@CC@ |
470 |
diff -ur Yap-5.1.2.orig/library/yap2swi/Makefile.in Yap-5.1.2/library/yap2swi/Makefile.in |
471 |
--- Yap-5.1.2.orig/library/yap2swi/Makefile.in 2004-12-15 06:00:33.000000000 +1300 |
472 |
+++ Yap-5.1.2/library/yap2swi/Makefile.in 2007-08-20 20:24:58.000000000 +1200 |
473 |
@@ -12,7 +12,7 @@ |
474 |
# |
475 |
# where YAP should look for libraries |
476 |
# |
477 |
-LIBDIR=$(EROOTDIR)/lib/Yap |
478 |
+LIBDIR=@libdir@/Yap |
479 |
# |
480 |
# |
481 |
CC=@CC@ |
482 |
|
483 |
|
484 |
|
485 |
1.1 dev-lang/yap/files/yap-5.1.2-jpl.patch |
486 |
|
487 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-jpl.patch?rev=1.1&view=markup |
488 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-jpl.patch?rev=1.1&content-type=text/plain |
489 |
|
490 |
Index: yap-5.1.2-jpl.patch |
491 |
=================================================================== |
492 |
--- Yap-5.1.2.orig/LGPL/JPL/src/jpl.c 2006-09-01 15:01:58.000000000 +1200 |
493 |
+++ Yap-5.1.2/LGPL/JPL/src/jpl.c 2007-11-20 20:16:37.000000000 +1300 |
494 |
@@ -1827,7 +1827,7 @@ |
495 |
|
496 |
|
497 |
//=== JVM initialisation, startup etc. ============================================================= |
498 |
- |
499 |
+/* |
500 |
// this isn't much use; it can't discover JDK 1.2 support... |
501 |
static int |
502 |
jni_supported_jvm_version( |
503 |
@@ -1848,7 +1848,7 @@ |
504 |
&& minor == mlo |
505 |
; |
506 |
} |
507 |
- |
508 |
+*/ |
509 |
|
510 |
static int |
511 |
jni_get_created_jvm_count(void) |
512 |
@@ -1930,7 +1930,7 @@ |
513 |
); |
514 |
} |
515 |
|
516 |
- |
517 |
+/* |
518 |
static foreign_t |
519 |
jni_supported_jvm_version_plc( // not as useful as I'd hoped... |
520 |
term_t t1, |
521 |
@@ -1945,7 +1945,7 @@ |
522 |
&& jni_supported_jvm_version(major,minor) |
523 |
; |
524 |
} |
525 |
- |
526 |
+*/ |
527 |
|
528 |
static foreign_t |
529 |
jni_get_created_jvm_count_plc( |
530 |
@@ -3908,7 +3908,7 @@ |
531 |
static |
532 |
PL_extension predspecs[] = |
533 |
{ { "jni_create_jvm", 2, jni_create_jvm_plc, 0 }, |
534 |
- { "jni_supported_jvm_version", 2, jni_supported_jvm_version_plc, 0 }, |
535 |
+/* { "jni_supported_jvm_version", 2, jni_supported_jvm_version_plc, 0 },*/ |
536 |
{ "jni_get_created_jvm_count", 1, jni_get_created_jvm_count_plc, 0 }, |
537 |
{ "jni_ensure_jvm", 0, jni_ensure_jvm_plc, 0 }, |
538 |
{ "jni_tag_to_iref", 2, jni_tag_to_iref_plc, 0 }, |
539 |
|
540 |
|
541 |
|
542 |
1.1 dev-lang/yap/files/yap-5.1.2-tabling.patch |
543 |
|
544 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-tabling.patch?rev=1.1&view=markup |
545 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-tabling.patch?rev=1.1&content-type=text/plain |
546 |
|
547 |
Index: yap-5.1.2-tabling.patch |
548 |
=================================================================== |
549 |
diff -ur Yap-5.1.2.orig/OPTYap/opt.structs.h Yap-5.1.2/OPTYap/opt.structs.h |
550 |
--- Yap-5.1.2.orig/OPTYap/opt.structs.h 2007-05-02 07:33:53.000000000 +1200 |
551 |
+++ Yap-5.1.2/OPTYap/opt.structs.h 2007-08-21 19:44:56.000000000 +1200 |
552 |
@@ -41,7 +41,7 @@ |
553 |
** ---------------------- */ |
554 |
|
555 |
struct pages { |
556 |
-#ifdef YAPOR |
557 |
+#if defined(YAPOR) || defined(THREADS) |
558 |
lockvar lock; |
559 |
#endif /* YAPOR */ |
560 |
volatile long pages_allocated; |
561 |
@@ -275,9 +275,11 @@ |
562 |
** --------------------------- */ |
563 |
|
564 |
struct local_data{ |
565 |
+#if defined(YAPOR) || defined(THREADS) |
566 |
+ lockvar lock; |
567 |
+#endif |
568 |
#ifdef YAPOR |
569 |
/* local data related to or-parallelism */ |
570 |
- lockvar lock; |
571 |
volatile int load; |
572 |
choiceptr top_choice_point; |
573 |
struct or_frame *top_or_frame; |
574 |
diff -ur Yap-5.1.2.orig/OPTYap/tab.structs.h Yap-5.1.2/OPTYap/tab.structs.h |
575 |
--- Yap-5.1.2.orig/OPTYap/tab.structs.h 2005-08-05 06:06:35.000000000 +1200 |
576 |
+++ Yap-5.1.2/OPTYap/tab.structs.h 2007-08-21 19:30:06.000000000 +1200 |
577 |
@@ -50,7 +50,7 @@ |
578 |
** ---------------------------- */ |
579 |
|
580 |
typedef struct table_entry { |
581 |
-#ifdef YAPOR |
582 |
+#if defined(YAPOR) || defined(THREADS) |
583 |
lockvar lock; |
584 |
#endif /* YAPOR */ |
585 |
struct pred_entry *pred_entry; |
586 |
@@ -149,8 +149,10 @@ |
587 |
** ------------------------------ */ |
588 |
|
589 |
typedef struct subgoal_frame { |
590 |
-#ifdef YAPOR |
591 |
+#if defined(YAPOR) || defined(THREADS) |
592 |
lockvar lock; |
593 |
+#endif |
594 |
+#ifdef YAPOR |
595 |
int generator_worker; |
596 |
struct or_frame *top_or_frame_on_generator_branch; |
597 |
#endif /* YAPOR */ |
598 |
@@ -225,8 +227,10 @@ |
599 |
** --------------------------------- */ |
600 |
|
601 |
typedef struct dependency_frame { |
602 |
-#ifdef YAPOR |
603 |
+#if defined(YAPOR) || defined(THREADS) |
604 |
lockvar lock; |
605 |
+#endif |
606 |
+#ifdef YAPOR |
607 |
int leader_dependency_is_on_stack; |
608 |
struct or_frame *top_or_frame; |
609 |
#ifdef TIMESTAMP_CHECK |
610 |
|
611 |
|
612 |
|
613 |
1.1 dev-lang/yap/files/yap-5.1.2-tkyap.patch |
614 |
|
615 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-tkyap.patch?rev=1.1&view=markup |
616 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-tkyap.patch?rev=1.1&content-type=text/plain |
617 |
|
618 |
Index: yap-5.1.2-tkyap.patch |
619 |
=================================================================== |
620 |
--- Yap-5.1.2.orig/misc/tkyap 2006-02-21 02:18:08.000000000 +1300 |
621 |
+++ Yap-5.1.2/misc/tkyap 2007-11-21 18:51:19.000000000 +1300 |
622 |
@@ -33,19 +33,10 @@ |
623 |
#option add "*message*Font" $TextFont |
624 |
#option add "*list*Font" $TextFont |
625 |
|
626 |
-if {[file exists /vmlinuz]} { |
627 |
- set TextFont "*6x10*" |
628 |
- if {[file exists /home/luis/Yap94/linux]} { |
629 |
- set homeyap /home/luis/Yap94/linux |
630 |
- } else { |
631 |
- set homeyap . |
632 |
- } |
633 |
- set PrologCommand "$homeyap/yap $homeyap/startup -c localhost $service $YapOptions" |
634 |
- set SolarisBug 0 |
635 |
-} else { |
636 |
- set PrologCommand "ny -h8000 -s1000" |
637 |
- set SolarisBug 1 |
638 |
-} |
639 |
+set TextFont "*6x10*" |
640 |
+ |
641 |
+set PrologCommand "yap -c localhost $service $YapOptions" |
642 |
+set SolarisBug 0 |
643 |
|
644 |
|
645 |
|
646 |
|
647 |
|
648 |
|
649 |
1.1 dev-lang/yap/files/yap-5.1.2-parallel-make.patch |
650 |
|
651 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-parallel-make.patch?rev=1.1&view=markup |
652 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-parallel-make.patch?rev=1.1&content-type=text/plain |
653 |
|
654 |
Index: yap-5.1.2-parallel-make.patch |
655 |
=================================================================== |
656 |
--- Yap-5.1.2.orig/Makefile.in 2007-06-21 01:45:42.000000000 +1200 |
657 |
+++ Yap-5.1.2/Makefile.in 2007-11-20 21:09:49.000000000 +1300 |
658 |
@@ -549,15 +549,15 @@ |
659 |
$(CC) $(CFLAGS) $(srcdir)/mycb.c -o mycb |
660 |
|
661 |
all: startup |
662 |
- @INSTALL_DLLS@ (cd library/random; make) |
663 |
- @INSTALL_DLLS@ (cd library/regex; make) |
664 |
- @INSTALL_DLLS@ (cd library/system; make) |
665 |
- @INSTALL_DLLS@ (cd library/yap2swi; make) |
666 |
- @INSTALL_DLLS@ (cd library/tries; make) |
667 |
- @INSTALL_DLLS@ (cd library/lammpi; make) |
668 |
- @INSTALL_DLLS@ (cd library/matrix; make) |
669 |
- @INSTALL_MATLAB@ (cd library/matlab; make) |
670 |
- @ENABLE_JPL@ @INSTALL_DLLS@ (cd LGPL/JPL/src; make) |
671 |
+ @INSTALL_DLLS@ (cd library/random; $(MAKE)) |
672 |
+ @INSTALL_DLLS@ (cd library/regex; $(MAKE)) |
673 |
+ @INSTALL_DLLS@ (cd library/system; $(MAKE)) |
674 |
+ @INSTALL_DLLS@ (cd library/yap2swi; $(MAKE)) |
675 |
+ @INSTALL_DLLS@ (cd library/tries; $(MAKE)) |
676 |
+ @INSTALL_DLLS@ (cd library/lammpi; $(MAKE)) |
677 |
+ @INSTALL_DLLS@ (cd library/matrix; $(MAKE)) |
678 |
+ @INSTALL_MATLAB@ (cd library/matlab; $(MAKE)) |
679 |
+ @ENABLE_JPL@ @INSTALL_DLLS@ (cd LGPL/JPL/src; $(MAKE)) |
680 |
|
681 |
startup: yap@EXEC_SUFFIX@ $(PL_SOURCES) |
682 |
-rm -f startup |
683 |
@@ -587,15 +587,15 @@ |
684 |
mkdir -p $(DESTDIR)$(SHAREDIR)/Yap |
685 |
mkdir -p $(DESTDIR)$(SHAREDIR)/Yap/pl |
686 |
for f in $(PL_SOURCES); do $(INSTALL) $$f $(DESTDIR)$(SHAREDIR)/Yap/pl; done |
687 |
- @INSTALL_DLLS@ (cd library/random; make install) |
688 |
- @INSTALL_DLLS@ (cd library/regex; make install) |
689 |
- @INSTALL_DLLS@ (cd library/system; make install) |
690 |
- @INSTALL_DLLS@ (cd library/yap2swi; make install) |
691 |
- @INSTALL_DLLS@ (cd library/tries; make install) |
692 |
- @INSTALL_DLLS@ (cd library/lammpi; make install) |
693 |
- @INSTALL_DLLS@ (cd library/matrix; make install) |
694 |
- @INSTALL_MATLAB@ (cd library/matlab; make install) |
695 |
- @ENABLE_JPL@ @INSTALL_DLLS@ (cd LGPL/JPL/src; make install) |
696 |
+ @INSTALL_DLLS@ (cd library/random; $(MAKE) install) |
697 |
+ @INSTALL_DLLS@ (cd library/regex; $(MAKE) install) |
698 |
+ @INSTALL_DLLS@ (cd library/system; $(MAKE) install) |
699 |
+ @INSTALL_DLLS@ (cd library/yap2swi; $(MAKE) install) |
700 |
+ @INSTALL_DLLS@ (cd library/tries; $(MAKE) install) |
701 |
+ @INSTALL_DLLS@ (cd library/lammpi; $(MAKE) install) |
702 |
+ @INSTALL_DLLS@ (cd library/matrix; $(MAKE) install) |
703 |
+ @INSTALL_MATLAB@ (cd library/matlab; $(MAKE) install) |
704 |
+ @ENABLE_JPL@ @INSTALL_DLLS@ (cd LGPL/JPL/src; $(MAKE) install) |
705 |
mkdir -p $(DESTDIR)$(INCLUDEDIR) |
706 |
for h in $(INTERFACE_HEADERS); do $(INSTALL) $$h $(DESTDIR)$(INCLUDEDIR); done |
707 |
|
708 |
@@ -627,17 +627,17 @@ |
709 |
for h in $(HEADERS); do $(INSTALL) $$h $(DESTDIR)$(INCLUDEDIR); done |
710 |
|
711 |
install_data: |
712 |
- (cd library ; make install) |
713 |
- @ENABLE_JPL@ (cd LGPL/JPL ; make install) |
714 |
- @ENABLE_JPL@ (cd LGPL/JPL/java; make install) |
715 |
+ (cd library ; $(MAKE) install) |
716 |
+ @ENABLE_JPL@ (cd LGPL/JPL ; $(MAKE) install) |
717 |
+ @ENABLE_JPL@ (cd LGPL/JPL/java; $(MAKE) install) |
718 |
$(INSTALL_DATA) $(srcdir)/LGPL/pillow/icon_address.pl $(DESTDIR)$(SHAREDIR)/Yap/ |
719 |
$(INSTALL_DATA) $(srcdir)/LGPL/pillow/pillow.pl $(DESTDIR)$(SHAREDIR)/Yap/ |
720 |
# (cd CLPQR ; make install) |
721 |
- @INSTALLCLP@(cd LGPL/clp ; make install) |
722 |
- @INSTALLCLP@(cd LGPL/clpr ; make install) |
723 |
+ @INSTALLCLP@(cd LGPL/clp ; $(MAKE) install) |
724 |
+ @INSTALLCLP@(cd LGPL/clpr ; $(MAKE) install) |
725 |
# (cd CHR ; make install) |
726 |
- @INSTALLCLP@(cd LGPL/chr ; make install) |
727 |
- @INSTALLCLP@(cd CLPBN ; make install) |
728 |
+ @INSTALLCLP@(cd LGPL/chr ; $(MAKE) install) |
729 |
+ @INSTALLCLP@(cd CLPBN ; $(MAKE) install) |
730 |
|
731 |
|
732 |
########## |
733 |
|
734 |
|
735 |
|
736 |
1.1 dev-lang/yap/files/yap-5.1.2-SONAME.patch |
737 |
|
738 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-SONAME.patch?rev=1.1&view=markup |
739 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-SONAME.patch?rev=1.1&content-type=text/plain |
740 |
|
741 |
Index: yap-5.1.2-SONAME.patch |
742 |
=================================================================== |
743 |
--- Yap-5.1.2.orig/Makefile.in 2007-06-21 01:45:42.000000000 +1200 |
744 |
+++ Yap-5.1.2/Makefile.in 2007-11-20 21:06:56.000000000 +1300 |
745 |
@@ -572,7 +572,7 @@ |
746 |
$(RANLIB) libYap.a |
747 |
|
748 |
@DYNYAPLIB@: $(LIB_OBJECTS) |
749 |
- @DYNLIB_LD@ -o @YAPLIB@ $(LIB_OBJECTS) $(LIBS) |
750 |
+ @DYNLIB_LD@ -Wl,-soname=$@ -o @YAPLIB@ $(LIB_OBJECTS) $(LIBS) |
751 |
|
752 |
install: install_bin install_data |
753 |
|
754 |
|
755 |
|
756 |
|
757 |
1.1 dev-lang/yap/files/yap-5.1.2-analyst.patch |
758 |
|
759 |
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-analyst.patch?rev=1.1&view=markup |
760 |
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-lang/yap/files/yap-5.1.2-analyst.patch?rev=1.1&content-type=text/plain |
761 |
|
762 |
Index: yap-5.1.2-analyst.patch |
763 |
=================================================================== |
764 |
diff -ur Yap-5.1.2.orig/C/analyst.c Yap-5.1.2/C/analyst.c |
765 |
--- Yap-5.1.2.orig/C/analyst.c 2006-11-29 03:10:19.000000000 +1300 |
766 |
+++ Yap-5.1.2/C/analyst.c 2007-08-21 19:58:15.000000000 +1200 |
767 |
@@ -312,19 +312,17 @@ |
768 |
total; |
769 |
Term t1; |
770 |
Atom at1; |
771 |
+ char *program; |
772 |
+ wchar_t *programw; |
773 |
|
774 |
t1 = Deref(ARG1); |
775 |
if (IsVarTerm(t1) || !IsAtomTerm(t1)) |
776 |
return (FALSE); |
777 |
at1 = AtomOfTerm(t1); |
778 |
if (IsWideAtom(at1)) { |
779 |
- wchar_t *program; |
780 |
- |
781 |
- program = RepAtom(at1)->WStrOfAE; |
782 |
- fprintf(Yap_stderr, "\n Instructions Executed in %S\n", program); |
783 |
+ programw = RepAtom(at1)->WStrOfAE; |
784 |
+ fprintf(Yap_stderr, "\n Instructions Executed in %S\n", programw); |
785 |
} else { |
786 |
- char *program; |
787 |
- |
788 |
program = RepAtom(at1)->StrOfAE; |
789 |
fprintf(Yap_stderr, "\n Instructions Executed in %s\n", program); |
790 |
} |
791 |
@@ -675,7 +673,10 @@ |
792 |
fprintf(Yap_stderr, " TOTAL instructions: %8d (%3d%%)\n\n", total, |
793 |
(total * 100) / total); |
794 |
|
795 |
- fprintf(Yap_stderr, "\n Analysis of Unification Instructions in %s \n", program); |
796 |
+ if (IsWideAtom(at1)) |
797 |
+ fprintf(Yap_stderr, "\n Analysis of Unification Instructions in %S \n", programw); |
798 |
+ else |
799 |
+ fprintf(Yap_stderr, "\n Analysis of Unification Instructions in %s \n", program); |
800 |
fprintf(Yap_stderr, " XVAR, YVAR, XVAL, YVAL, CONS, LIST, STRUCT\n"); |
801 |
fprintf(Yap_stderr, " GET: %8d %8d %8d %8d %8d %8d %8d\n", |
802 |
c_get.nxvar, |
803 |
diff -ur Yap-5.1.2.orig/H/Yap.h Yap-5.1.2/H/Yap.h |
804 |
--- Yap-5.1.2.orig/H/Yap.h 2007-04-11 10:13:20.000000000 +1200 |
805 |
+++ Yap-5.1.2/H/Yap.h 2007-08-22 19:39:03.000000000 +1200 |
806 |
@@ -53,12 +53,6 @@ |
807 |
#undef TRAILING_REQUIRES_BRANCH |
808 |
#endif /* YAPOR || TABLING */ |
809 |
|
810 |
-#if ANALYST |
811 |
-#ifdef USE_THREADED_CODE |
812 |
-#undef USE_THREADED_CODE |
813 |
-#endif |
814 |
-#endif |
815 |
- |
816 |
#ifdef COROUTINING |
817 |
#ifndef TERM_EXTENSIONS |
818 |
#define TERM_EXTENSIONS 1 |
819 |
|
820 |
|
821 |
|
822 |
-- |
823 |
gentoo-commits@g.o mailing list |