Attachment 135248 Details for Bug 180068 – file.shar

file.shar

file.shar (text/plain), 17.63 KB, created by Danilo Egêa Gondolfo on 2013-06-28 20:10:00 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Danilo Egêa Gondolfo

Created: 2013-06-28 20:10:00 UTC

Size: 17.63 KB

patch

obsolete

># 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 <bsd.port.options.mk>
>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 <bsd.port.mk>
>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	<Yap.h>
>X #include	<Yatom.h>
>X 
>X+#include <stdio.h>
>X #include <string.h>
>X 
>X #include	<SWI-Prolog.h>
>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<class V>
>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<class V>
>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

Actions: View

Attachments on bug 180068: 135248