# This is a shell archive. Save it in a file, remove anything before # this line, and then unpack it by entering "sh file". Note, it may # create directories; files and directories will be owned by you and # have default permissions. # # This archive contains: # # yap # yap/pkg-plist # yap/Makefile # yap/distinfo # yap/pkg-descr # yap/files # yap/files/patch-library__dialect__swi__fli__blobs.c # yap/files/patch-packages__swi-minisat2__C__SolverTypes.h # echo c - yap mkdir -p yap > /dev/null 2>&1 echo x - yap/pkg-plist sed 's/^X//' >yap/pkg-plist << 'f2fdf903d5aad66bbae47377c051abb8' Xbin/yap Xinclude/Yap/TermExt.h Xinclude/Yap/Atoms.h Xinclude/Yap/Tags_32bits.h Xinclude/Yap/Tags_32Ops.h Xinclude/Yap/Tags_32LowTag.h Xinclude/Yap/Tags_64bits.h Xinclude/Yap/Tags_24bits.h Xinclude/Yap/sshift.h Xinclude/Yap/Yap.h Xinclude/Yap/Yatom.h Xinclude/Yap/YapHeap.h Xinclude/Yap/Regs.h Xinclude/Yap/Yapproto.h Xinclude/Yap/absmi.h Xinclude/Yap/alloc.h Xinclude/Yap/amidefs.h Xinclude/Yap/amiops.h Xinclude/Yap/arrays.h Xinclude/Yap/arith2.h Xinclude/Yap/attvar.h Xinclude/Yap/clause.h Xinclude/Yap/compile.h Xinclude/Yap/corout.h Xinclude/Yap/dlmalloc.h Xinclude/Yap/dglobals.h Xinclude/Yap/dhstruct.h Xinclude/Yap/eval.h Xinclude/Yap/heapgc.h Xinclude/Yap/hglobals.h Xinclude/Yap/hstruct.h Xinclude/Yap/iglobals.h Xinclude/Yap/ihstruct.h Xinclude/Yap/index.h Xinclude/Yap/iopreds.h Xinclude/Yap/iswiatoms.h Xinclude/Yap/rclause.h Xinclude/Yap/rglobals.h Xinclude/Yap/rheap.h Xinclude/Yap/rhstruct.h Xinclude/Yap/threads.h Xinclude/Yap/tracer.h Xinclude/Yap/trim_trail.h Xinclude/Yap/yapio.h Xinclude/Yap/eam.h Xinclude/Yap/eamamasm.h Xinclude/Yap/opt.config.h Xinclude/Yap/opt.proto.h Xinclude/Yap/opt.structs.h Xinclude/Yap/opt.macros.h Xinclude/Yap/cut_c.h Xinclude/Yap/or.macros.h Xinclude/Yap/or.sbaamiops.h Xinclude/Yap/or.sbaunify.h Xinclude/Yap/tab.structs.h Xinclude/Yap/locks_x86.h Xinclude/Yap/locks_sparc.h Xinclude/Yap/locks_mips.h Xinclude/Yap/locks_mips_funcs.h Xinclude/Yap/locks_alpha.h Xinclude/Yap/locks_alpha_funcs.h Xinclude/Yap/locks_pthread.h Xinclude/Yap/iatoms.h Xinclude/Yap/ratoms.h Xinclude/Yap/tatoms.h Xinclude/Yap/swi.h Xinclude/Yap/myddas.h Xinclude/Yap/myddas_structs.h Xinclude/Yap/myddas_statistics.h Xinclude/Yap/myddas_statistics_structs.h Xinclude/Yap/myddas_wkb.h Xinclude/Yap/myddas_wkb2prolog.h Xinclude/Yap/c_interface.h Xinclude/Yap/clause_list.h Xinclude/Yap/dswiatoms.h Xinclude/Yap/udi.h Xinclude/Yap/rtree_udi.h Xinclude/Yap/yap_structs.h Xinclude/Yap/YapInterface.h Xinclude/Yap/SWI-Prolog.h Xinclude/Yap/SWI-Stream.h Xinclude/Yap/config.h Xinclude/Yap/parms.h Xlib/Yap/startup.yss Xlib/Yap/libplstream.so Xlib/Yap/matrix.so Xlib/Yap/yap_random.so Xlib/Yap/regexp.so Xlib/Yap/yap_rl.so Xlib/Yap/sys.so Xlib/Yap/tries.so Xlib/Yap/itries.so Xlib/Yap/unix.so Xlib/Yap/random.so Xlib/Yap/socket.so Xlib/Yap/cgi.so Xlib/Yap/memfile.so Xlib/Yap/files.so Xlib/Yap/mime.so Xlib/Yap/crypt.so Xlib/Yap/time.so Xlib/Yap/readutil.so Xlib/Yap/streaminfo.so Xlib/Yap/process.so Xlib/Yap/sha4pl.so Xlib/Yap/uri.so Xlib/Yap/http_stream.so Xlib/Yap/json.so Xlib/Yap/sgml2pl.so Xlib/Yap/rdf_db.so Xlib/Yap/turtle.so Xlib/Yap/pl-tai.so Xlib/Yap/zlib4pl.so Xlib/Yap/pl-minisat.so Xlib/libYap.a Xlib/web/css/dirindex.css Xlib/web/css/openid.css X%%PORTDOCS%%%%DOCSDIR%%/Artistic X%%PORTDOCS%%%%DOCSDIR%%/README X%%PORTDOCS%%%%DOCSDIR%%/COPYING X%%PORTDOCS%%%%DOCSDIR%%/yap.html X%%PORTDOCS%%%%DOCSDIR%%/yap.pdf X%%PORTDOCS%%%%DOCSDIR%%/changes4.3.html X%%PORTDOCS%%%%DOCSDIR%%/changes-5.0.html X%%PORTDOCS%%%%DOCSDIR%%/changes-5.1.html X%%PORTDOCS%%%%DOCSDIR%%/changes-6.0.html Xshare/Yap/pl/arith.yap Xshare/Yap/pl/arrays.yap Xshare/Yap/pl/attributes.yap Xshare/Yap/pl/boot.yap Xshare/Yap/pl/callcount.yap Xshare/Yap/pl/checker.yap Xshare/Yap/pl/chtypes.yap Xshare/Yap/pl/consult.yap Xshare/Yap/pl/control.yap Xshare/Yap/pl/corout.yap Xshare/Yap/pl/debug.yap Xshare/Yap/pl/depth_bound.yap Xshare/Yap/pl/dialect.yap Xshare/Yap/pl/directives.yap Xshare/Yap/pl/eam.yap Xshare/Yap/pl/eval.yap Xshare/Yap/pl/errors.yap Xshare/Yap/pl/flags.yap Xshare/Yap/pl/grammar.yap Xshare/Yap/pl/ground.yap Xshare/Yap/pl/hacks.yap Xshare/Yap/pl/init.yap Xshare/Yap/pl/listing.yap Xshare/Yap/pl/udi.yap Xshare/Yap/pl/lists.yap Xshare/Yap/pl/messages.yap Xshare/Yap/pl/load_foreign.yap Xshare/Yap/pl/modules.yap Xshare/Yap/pl/preds.yap Xshare/Yap/pl/profile.yap Xshare/Yap/pl/protect.yap Xshare/Yap/pl/save.yap Xshare/Yap/pl/setof.yap Xshare/Yap/pl/signals.yap Xshare/Yap/pl/sockets.yap Xshare/Yap/pl/sort.yap Xshare/Yap/pl/statistics.yap Xshare/Yap/pl/strict_iso.yap Xshare/Yap/pl/tabling.yap Xshare/Yap/pl/threads.yap Xshare/Yap/pl/utils.yap Xshare/Yap/pl/yapor.yap Xshare/Yap/pl/yio.yap Xshare/Yap/unix.pl Xshare/Yap/random.pl Xshare/Yap/socket.pl Xshare/Yap/cgi.pl Xshare/Yap/memfile.pl Xshare/Yap/filesex.pl Xshare/Yap/mime.pl Xshare/Yap/crypt.pl Xshare/Yap/time.pl Xshare/Yap/streaminfo.pl Xshare/Yap/process.pl Xshare/Yap/prolog_server.pl Xshare/Yap/sha.pl Xshare/Yap/uri.pl Xshare/Yap/http/web/icons/back.png Xshare/Yap/http/web/icons/c.png Xshare/Yap/http/web/icons/compressed.png Xshare/Yap/http/web/icons/folder.png Xshare/Yap/http/web/icons/generic.png Xshare/Yap/http/web/icons/layout.png Xshare/Yap/http/web/icons/openid-logo-square.png Xshare/Yap/http/web/icons/openid-logo-tiny.png Xshare/Yap/http/html_write.pl Xshare/Yap/http/http_client.pl Xshare/Yap/http/http_header.pl Xshare/Yap/http/http_mime_plugin.pl Xshare/Yap/http/http_sgml_plugin.pl Xshare/Yap/http/mimepack.pl Xshare/Yap/http/mimetype.pl Xshare/Yap/http/dcg_basics.pl Xshare/Yap/http/thread_httpd.pl Xshare/Yap/http/xpce_httpd.pl Xshare/Yap/http/inetd_httpd.pl Xshare/Yap/http/http_wrapper.pl Xshare/Yap/http/http_open.pl Xshare/Yap/http/http_session.pl Xshare/Yap/http/http_error.pl Xshare/Yap/http/http_parameters.pl Xshare/Yap/http/http_dispatch.pl Xshare/Yap/http/http_authenticate.pl Xshare/Yap/http/http_stream.pl Xshare/Yap/http/http_log.pl Xshare/Yap/http/http_path.pl Xshare/Yap/http/http_hook.pl Xshare/Yap/http/html_head.pl Xshare/Yap/http/http_exception.pl Xshare/Yap/http/json.pl Xshare/Yap/http/http_json.pl Xshare/Yap/http/json_convert.pl Xshare/Yap/http/http_dirindex.pl Xshare/Yap/http/http_server_files.pl Xshare/Yap/http/http_pwp.pl Xshare/Yap/http/http_host.pl Xshare/Yap/http/http_openid.pl Xshare/Yap/http/js_write.pl Xshare/Yap/http/README Xshare/Yap/plunit.pl Xshare/Yap/test_wizard.pl Xshare/Yap/test_cover.pl Xshare/Yap/DTD/HTML4.dcl Xshare/Yap/DTD/HTML4.dtd Xshare/Yap/DTD/HTML4.soc Xshare/Yap/DTD/HTMLlat1.ent Xshare/Yap/DTD/HTMLspec.ent Xshare/Yap/DTD/HTMLsym.ent Xshare/Yap/sgml.pl Xshare/Yap/xsdp_types.pl Xshare/Yap/iso_639.pl Xshare/Yap/sgml_write.pl Xshare/Yap/xpath.pl Xshare/Yap/pwp.pl Xshare/Yap/pltotex.pl Xshare/Yap/rdf.pl Xshare/Yap/rdf_parser.pl Xshare/Yap/rdf_triple.pl Xshare/Yap/rewrite.pl Xshare/Yap/rdf_ntriples.pl Xshare/Yap/rdf_write.pl Xshare/Yap/semweb/rdfs.rdfs Xshare/Yap/semweb/dc.rdfs Xshare/Yap/semweb/eor.rdfs Xshare/Yap/semweb/owl.owl Xshare/Yap/semweb/rdf_library.ttl Xshare/Yap/semweb/rdf_db.pl Xshare/Yap/semweb/rdfs.pl Xshare/Yap/semweb/rdf_edit.pl Xshare/Yap/semweb/rdf_litindex.pl Xshare/Yap/semweb/rdf_persistency.pl Xshare/Yap/semweb/rdf_turtle.pl Xshare/Yap/semweb/rdf_cache.pl Xshare/Yap/semweb/rdf_http_plugin.pl Xshare/Yap/semweb/rdf_zlib_plugin.pl Xshare/Yap/semweb/rdf_portray.pl Xshare/Yap/semweb/rdf_compare.pl Xshare/Yap/semweb/turtle_base.pl Xshare/Yap/semweb/rdf_turtle_write.pl Xshare/Yap/semweb/rdf_library.pl Xshare/Yap/semweb/sparql_client.pl Xshare/Yap/semweb/README Xshare/Yap/zlib.pl Xshare/Yap/dialect/swi/INDEX.pl Xshare/Yap/dialect/swi/listing.pl Xshare/Yap/dialect/swi/readutil.pl Xshare/Yap/dialect/commons.yap Xshare/Yap/dialect/hprolog.yap Xshare/Yap/dialect/swi.yap Xshare/Yap/INDEX.pl Xshare/Yap/apply.yap Xshare/Yap/apply_macros.yap Xshare/Yap/arg.yap Xshare/Yap/assoc.yap Xshare/Yap/atts.yap Xshare/Yap/autoloader.yap Xshare/Yap/avl.yap Xshare/Yap/bhash.yap Xshare/Yap/charsio.yap Xshare/Yap/cleanup.yap Xshare/Yap/clpfd.pl Xshare/Yap/coinduction.yap Xshare/Yap/dbqueues.yap Xshare/Yap/dbusage.yap Xshare/Yap/dgraphs.yap Xshare/Yap/expand_macros.yap Xshare/Yap/gensym.yap Xshare/Yap/hacks.yap Xshare/Yap/heaps.yap Xshare/Yap/lambda.pl Xshare/Yap/lineutils.yap Xshare/Yap/lists.yap Xshare/Yap/nb.yap Xshare/Yap/ordsets.yap Xshare/Yap/maplist.yap Xshare/Yap/matlab.yap Xshare/Yap/matrix.yap Xshare/Yap/prandom.yap Xshare/Yap/queues.yap Xshare/Yap/random.yap Xshare/Yap/r_session.yap Xshare/Yap/rbtrees.yap Xshare/Yap/readutil.yap Xshare/Yap/regexp.yap Xshare/Yap/rltree.yap Xshare/Yap/splay.yap Xshare/Yap/stringutils.yap Xshare/Yap/clp/clp_events.pl Xshare/Yap/system.yap Xshare/Yap/terms.yap Xshare/Yap/tries.yap Xshare/Yap/itries.yap Xshare/Yap/timeout.yap Xshare/Yap/trees.yap Xshare/Yap/ugraphs.yap Xshare/Yap/undgraphs.yap Xshare/Yap/varnumbers.yap Xshare/Yap/wdgraphs.yap Xshare/Yap/wgraphs.yap Xshare/Yap/wundgraphs.yap Xshare/Yap/lam_mpi.yap Xshare/Yap/ypp.yap Xshare/Yap/c_alarms.yap Xshare/Yap/flags.yap Xshare/Yap/block_diagram.yap Xshare/Yap/minisat_examples/adder.pl Xshare/Yap/minisat_examples/pearl_examples.pl Xshare/Yap/cnf.pl Xshare/Yap/minisat.pl Xshare/Yap/base64.pl Xshare/Yap/broadcast.pl Xshare/Yap/date.pl Xshare/Yap/debug.pl Xshare/Yap/maplist.pl Xshare/Yap/nb_set.pl Xshare/Yap/operators.pl Xshare/Yap/option.pl Xshare/Yap/prolog_source.pl Xshare/Yap/prolog_xref.pl Xshare/Yap/quintus.pl Xshare/Yap/record.pl Xshare/Yap/settings.pl Xshare/Yap/shlib.pl Xshare/Yap/url.pl Xshare/Yap/utf8.pl Xshare/Yap/aggregate.pl Xshare/Yap/ctypes.pl Xshare/Yap/error.pl Xshare/Yap/occurs.yap Xshare/Yap/pairs.pl Xshare/Yap/icon_address.pl Xshare/Yap/pillow.pl Xshare/Yap/clpbn/learning/bnt_parms.yap Xshare/Yap/clpbn/learning/em.yap Xshare/Yap/clpbn/learning/learn_utils.yap Xshare/Yap/clpbn/learning/mle.yap Xshare/Yap/clpbn/examples/School/README Xshare/Yap/clpbn/examples/School/evidence_128.yap Xshare/Yap/clpbn/examples/School/schema.yap Xshare/Yap/clpbn/examples/School/school_128.yap Xshare/Yap/clpbn/examples/School/school_32.yap Xshare/Yap/clpbn/examples/School/school_64.yap Xshare/Yap/clpbn/examples/School/tables.yap Xshare/Yap/clpbn/examples/cg.yap Xshare/Yap/clpbn/examples/sprinkler.yap Xshare/Yap/clpbn/aggregates.yap Xshare/Yap/clpbn/bnt.yap Xshare/Yap/clpbn/bp.yap Xshare/Yap/clpbn/connected.yap Xshare/Yap/clpbn/discrete_utils.yap Xshare/Yap/clpbn/display.yap Xshare/Yap/clpbn/dists.yap Xshare/Yap/clpbn/evidence.yap Xshare/Yap/clpbn/gibbs.yap Xshare/Yap/clpbn/graphs.yap Xshare/Yap/clpbn/graphviz.yap Xshare/Yap/clpbn/hmm.yap Xshare/Yap/clpbn/jt.yap Xshare/Yap/clpbn/matrix_cpt_utils.yap Xshare/Yap/clpbn/pgrammar.yap Xshare/Yap/clpbn/table.yap Xshare/Yap/clpbn/topsort.yap Xshare/Yap/clpbn/utils.yap Xshare/Yap/clpbn/vel.yap Xshare/Yap/clpbn/viterbi.yap Xshare/Yap/clpbn/xbif.yap Xshare/Yap/clpbn.yap Xshare/Yap/problog/extlists.yap Xshare/Yap/problog/flags.yap Xshare/Yap/problog/gflags.yap Xshare/Yap/problog/grounder.yap Xshare/Yap/problog/hash_table.yap Xshare/Yap/problog/intervals.yap Xshare/Yap/problog/logger.yap Xshare/Yap/problog/mc_DNF_sampling.yap Xshare/Yap/problog/os.yap Xshare/Yap/problog/print.yap Xshare/Yap/problog/sampling.yap Xshare/Yap/problog/tabling.yap Xshare/Yap/problog/timer.yap Xshare/Yap/problog/ptree.yap Xshare/Yap/problog/variable_elimination.yap Xshare/Yap/problog/print_learning.yap Xshare/Yap/problog/utils_learning.yap Xshare/Yap/problog/version_control.yap Xshare/Yap/problog/nestedtries.yap Xshare/Yap/problog/utils.yap Xshare/Yap/problog/bdd.yap Xshare/Yap/problog/ad_converter.yap Xshare/Yap/problog/termhandling.yap Xshare/Yap/problog/completion.yap Xshare/Yap/problog/discrete.yap Xshare/Yap/problog/variables.yap Xshare/Yap/problog_examples/alarm.pl Xshare/Yap/problog_examples/graph.pl Xshare/Yap/problog_examples/graph_tabled.pl Xshare/Yap/problog_examples/learn_graph.pl Xshare/Yap/problog_examples/office.pl Xshare/Yap/problog_examples/viralmarketing.pl Xshare/Yap/problog_examples/aProbLog_examples.pl Xshare/Yap/problog_examples/viralmarketing_tabled.pl Xshare/Yap/problog.yap Xshare/Yap/chr/chr_runtime.pl Xshare/Yap/chr/chr_op.pl Xshare/Yap/chr/chr_translate.pl Xshare/Yap/chr/chr_debug.pl Xshare/Yap/chr/chr_messages.pl Xshare/Yap/chr/pairlist.pl Xshare/Yap/chr/clean_code.pl Xshare/Yap/chr/find.pl Xshare/Yap/chr/a_star.pl Xshare/Yap/chr/binomialheap.pl Xshare/Yap/chr/builtins.pl Xshare/Yap/chr/chr_hashtable_store.pl Xshare/Yap/chr/listmap.pl Xshare/Yap/chr/guard_entailment.pl Xshare/Yap/chr/chr_compiler_options.pl Xshare/Yap/chr/chr_compiler_utility.pl Xshare/Yap/chr/chr_compiler_errors.pl Xshare/Yap/chr/chr_integertable_store.pl Xshare/Yap/chr/README Xshare/Yap/problog_lfi.yap Xshare/Yap/dtproblog.yap Xshare/Yap/aproblog.yap Xshare/Yap/problog_learning.yap Xshare/Yap/chr.pl Xshare/Yap/clpr/bb_r.pl Xshare/Yap/clpr/bv_r.pl Xshare/Yap/clpr/fourmotz_r.pl Xshare/Yap/clpr/ineq_r.pl Xshare/Yap/clpr/itf_r.pl Xshare/Yap/clpr/nf_r.pl Xshare/Yap/clpr/store_r.pl Xshare/Yap/clpq/bb_q.pl Xshare/Yap/clpq/bv_q.pl Xshare/Yap/clpq/fourmotz_q.pl Xshare/Yap/clpq/ineq_q.pl Xshare/Yap/clpq/itf_q.pl Xshare/Yap/clpq/nf_q.pl Xshare/Yap/clpq/store_q.pl Xshare/Yap/clpqr/class.pl Xshare/Yap/clpqr/dump.pl Xshare/Yap/clpqr/geler.pl Xshare/Yap/clpqr/itf.pl Xshare/Yap/clpqr/ordering.pl Xshare/Yap/clpqr/project.pl Xshare/Yap/clpqr/redund.pl Xshare/Yap/clpqr/README Xshare/Yap/clpr.pl Xshare/Yap/clpq.pl X%%PORTDOCS%%@dirrm %%DOCSDIR%% X@dirrm %%DATADIR%%/clpqr X@dirrm %%DATADIR%%/clpq X@dirrm %%DATADIR%%/clpr X@dirrm %%DATADIR%%/chr X@dirrm %%DATADIR%%/problog_examples X@dirrm %%DATADIR%%/problog X@dirrm %%DATADIR%%/clpbn/examples/School X@dirrm %%DATADIR%%/clpbn/examples X@dirrm %%DATADIR%%/clpbn/learning X@dirrm %%DATADIR%%/clpbn X@dirrm %%DATADIR%%/clp X@dirrm %%DATADIR%%/minisat_examples X@dirrm %%DATADIR%%/dialect/swi X@dirrm %%DATADIR%%/dialect X@dirrm %%DATADIR%%/semweb X@dirrm %%DATADIR%%/DTD X@dirrm %%DATADIR%%/http/web/icons X@dirrm %%DATADIR%%/http/web X@dirrm %%DATADIR%%/http X@dirrm %%DATADIR%%/pl X@dirrm %%DATADIR%% X@dirrm lib/web/css X@dirrm lib/web X@dirrm lib/Yap X@dirrm include/Yap f2fdf903d5aad66bbae47377c051abb8 echo x - yap/Makefile sed 's/^X//' >yap/Makefile << '12b3a589a42c992ca32d706fc00792c6' X# $FreeBSD$ X XPORTNAME= yap XPORTVERSION= 6.2.2 XCATEGORIES= lang XMASTER_SITES= http://www.dcc.fc.up.pt/~vsc/Yap/ X XMAINTAINER= danilogondolfo@gmail.com XCOMMENT= High-performance Prolog compiler X XOPTIONS_DEFINE= DOCS X X.include X X.if ${PORT_OPTIONS:MDOCS} XPLIST_SUB+= PORTDOCS="" XUSE_TEX= base texmf latex XBUILD_DEPENDS+= ${LOCALBASE}/bin/texi2html:${PORTSDIR}/textproc/texi2html XBUILD_DEPENDS+= ${LOCALBASE}/bin/texi2pdf:${PORTSDIR}/print/texinfo X.else XPLIST_SUB+= PORTDOCS="@comment " X.endif X XUSE_LDCONFIG= yes XGNU_CONFIGURE= yes XCONFIGURE_ARGS= --enable-max-performance XUSE_GMAKE= yes XMAKE_JOBS_SAFE= yes X XDOCSDIR= ${PREFIX}/share/doc/Yap XDATADIR= ${PREFIX}/share/Yap X Xpost-build: X.if empty(PORT_OPTIONS:MDOCS) X # prevent the instalation of three docs files X ${REINPLACE_CMD} -e '559,562d' ${WRKSRC}/Makefile X.endif X Xpost-install: X.if ${PORT_OPTIONS:MDOCS} X (cd ${WRKSRC} ; ${MAKE} install_docs) X.endif X X.include 12b3a589a42c992ca32d706fc00792c6 echo x - yap/distinfo sed 's/^X//' >yap/distinfo << '98ef033eb21da8fabc7b4269fe19c7b1' XSHA256 (yap-6.2.2.tar.gz) = f15f8382104443319a5883eafce5f52f4143b526c7f1cd88d19c1f63fc06d750 XSIZE (yap-6.2.2.tar.gz) = 5499811 98ef033eb21da8fabc7b4269fe19c7b1 echo x - yap/pkg-descr sed 's/^X//' >yap/pkg-descr << '4e32ffb9e7e0b15e0ba8494d51899a43' XYAP is a high-performance Prolog compiler developed at XLIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog Xengine is based in the WAM (Warren Abstract Machine), with several Xoptimizations for better performance. YAP follows the Edinburgh Xtradition, and is largely compatible with the ISO-Prolog standard and Xwith Quintus and SICStus Prolog. X XWWW: http://www.dcc.fc.up.pt/~vsc/Yap/ 4e32ffb9e7e0b15e0ba8494d51899a43 echo c - yap/files mkdir -p yap/files > /dev/null 2>&1 echo x - yap/files/patch-library__dialect__swi__fli__blobs.c sed 's/^X//' >yap/files/patch-library__dialect__swi__fli__blobs.c << 'd173abaf014f2d3e57a52c06e783c6dc' X--- ./library/dialect/swi/fli/blobs.c.orig 2013-06-28 00:56:12.000000000 -0300 X+++ ./library/dialect/swi/fli/blobs.c 2013-06-28 00:56:27.000000000 -0300 X@@ -18,6 +18,7 @@ X #include X #include X X+#include X #include X X #include d173abaf014f2d3e57a52c06e783c6dc echo x - yap/files/patch-packages__swi-minisat2__C__SolverTypes.h sed 's/^X//' >yap/files/patch-packages__swi-minisat2__C__SolverTypes.h << '70131caf965c37a42bdd9ae1eb488b3e' X--- ./packages/swi-minisat2/C/SolverTypes.h.orig 2013-06-28 00:56:48.000000000 -0300 X+++ ./packages/swi-minisat2/C/SolverTypes.h 2013-06-28 00:57:51.000000000 -0300 X@@ -119,11 +119,7 @@ X X // -- use this function instead: X template X- friend Clause* Clause_new(const V& ps, bool learnt = false) { X- assert(sizeof(Lit) == sizeof(uint32_t)); X- assert(sizeof(float) == sizeof(uint32_t)); X- void* mem = malloc(sizeof(Clause) + sizeof(uint32_t)*(ps.size())); X- return new (mem) Clause(ps, learnt); } X+ friend Clause* Clause_new(const V& ps, bool learnt = false); X X int size () const { return size_etc >> 3; } X void shrink (int i) { assert(i <= size()); size_etc = (((size_etc >> 3) - i) << 3) | (size_etc & 7); } X@@ -146,6 +142,14 @@ X void strengthen (Lit p); X }; X X+template X+Clause* Clause_new(const V& ps, bool learnt) { X+ assert(sizeof(Lit) == sizeof(uint32_t)); X+ assert(sizeof(float) == sizeof(uint32_t)); X+ void* mem = malloc(sizeof(Clause) + sizeof(uint32_t)*(ps.size())); X+ return new (mem) Clause(ps, learnt); X+} X+ X X /*_________________________________________________________________________________________________ X | 70131caf965c37a42bdd9ae1eb488b3e exit