Date: Sat, 30 Jun 2001 18:27:21 -0400 (EDT) From: Douglas Anestad <yotta@dougdidit.com> To: FreeBSD-gnats-submit@freebsd.org Subject: ports/28651: New port: gprolog, A free Prolog compiler Message-ID: <200106302227.f5UMRLc26534@anestad.com>
next in thread | raw e-mail | index | archive | help
>Number: 28651 >Category: ports >Synopsis: New port: gprolog, A free Prolog compiler >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Mon Jul 02 16:00:19 PDT 2001 >Closed-Date: >Last-Modified: >Originator: Douglas Anestad >Release: FreeBSD 4.3-STABLE i386 >Organization: >Environment: >Description: A free Prolog compiler developed by Daniel Diaz >How-To-Repeat: >Fix: # 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: # # /usr/ports/lang/gprolog/ # /usr/ports/lang/gprolog/Makefile # /usr/ports/lang/gprolog/pkg-comment # /usr/ports/lang/gprolog/pkg-descr # /usr/ports/lang/gprolog/pkg-plist # /usr/ports/lang/gprolog/distinfo # /usr/ports/lang/gprolog/files # /usr/ports/lang/gprolog/files/patch-ix86_any.c # echo c - /usr/ports/lang/gprolog/ mkdir -p /usr/ports/lang/gprolog/ > /dev/null 2>&1 echo x - /usr/ports/lang/gprolog/Makefile sed 's/^X//' >/usr/ports/lang/gprolog/Makefile << 'END-of-/usr/ports/lang/gprolog/Makefile' X# New ports collection makefile for: gprolog X# Date created: 30 June 2001 X# Whom: Douglas Anestad <yotta@dougdidit.com> X# X# $FreeBSD$ X# X XPORTNAME= gprolog XPORTVERSION= 1.2.1 XCATEGORIES= lang XMASTER_SITES= ${MASTER_SITE_GNU} XMASTER_SITE_SUBDIR= ${PORTNAME} X XMAINTAINER= yotta@dougdidit.com X X.include <bsd.port.pre.mk> X XCONFIGURE_ARGS= --disable-linedit XUSE_AUTOCONF= yes XWRKSRC= ${WRKDIR}/${DISTNAME}/src XUSE_GMAKE= yes X X.include <bsd.port.post.mk> END-of-/usr/ports/lang/gprolog/Makefile echo x - /usr/ports/lang/gprolog/pkg-comment sed 's/^X//' >/usr/ports/lang/gprolog/pkg-comment << 'END-of-/usr/ports/lang/gprolog/pkg-comment' XA free Prolog compiler developed by Daniel Diaz END-of-/usr/ports/lang/gprolog/pkg-comment echo x - /usr/ports/lang/gprolog/pkg-descr sed 's/^X//' >/usr/ports/lang/gprolog/pkg-descr << 'END-of-/usr/ports/lang/gprolog/pkg-descr' XGNU Prolog is a free Prolog compiler with constraint solving over finite Xdomains developed by Daniel Diaz. X XGNU Prolog accepts Prolog+constraint programs and produces native binaries X(like gcc does from a C source). The obtained executable is then stand-alone. XThe size of this executable can be quite small since GNU Prolog can avoid to Xlink the code of most unused built-in predicates. The performances of GNU XProlog are very encouraging (comparable to commercial systems). X XBeside the native-code compilation, GNU Prolog offers a classical interactive Xinterpreter (top-level) with a debugger. X XThe Prolog part conforms to the ISO standard for Prolog with many extensions Xvery useful in practice (global variables, OS interface, sockets,...). X XGNU Prolog also includes an efficient constraint solver over Finite Domains X(FD). This opens contraint logic pogramming to the user combining the power Xof constraint programming to the declarativity of logic programming. X XWWW: http://gnu-prolog.inria.fr X XDouglas Anestad Xdoug@anestad.com END-of-/usr/ports/lang/gprolog/pkg-descr echo x - /usr/ports/lang/gprolog/pkg-plist sed 's/^X//' >/usr/ports/lang/gprolog/pkg-plist << 'END-of-/usr/ports/lang/gprolog/pkg-plist' Xbin/fd2c Xbin/gplc Xbin/gprolog Xbin/hexgplc Xbin/ma2asm Xbin/pl2wam Xbin/wam2ma Xgprolog-1.2.1/bin/gplc Xgprolog-1.2.1/bin/hexgplc Xgprolog-1.2.1/bin/gprolog Xgprolog-1.2.1/bin/pl2wam Xgprolog-1.2.1/bin/wam2ma Xgprolog-1.2.1/bin/ma2asm Xgprolog-1.2.1/bin/fd2c Xgprolog-1.2.1/include/gprolog.h Xgprolog-1.2.1/lib/obj_begin.o Xgprolog-1.2.1/lib/obj_end.o Xgprolog-1.2.1/lib/top_level.o Xgprolog-1.2.1/lib/all_pl_bips.o Xgprolog-1.2.1/lib/debugger.o Xgprolog-1.2.1/lib/all_fd_bips.o Xgprolog-1.2.1/lib/libengine_pl.a Xgprolog-1.2.1/lib/libbips_pl.a Xgprolog-1.2.1/lib/libengine_fd.a Xgprolog-1.2.1/lib/libbips_fd.a Xgprolog-1.2.1/doc/manual.dvi Xgprolog-1.2.1/doc/manual.ps Xgprolog-1.2.1/doc/compil-scheme.pdf Xgprolog-1.2.1/doc/debug-box.pdf Xgprolog-1.2.1/doc/manual.pdf Xgprolog-1.2.1/doc/Html/index.html Xgprolog-1.2.1/doc/Html/manual-idx.html Xgprolog-1.2.1/doc/Html/manual001.html Xgprolog-1.2.1/doc/Html/manual002.html Xgprolog-1.2.1/doc/Html/manual003.html Xgprolog-1.2.1/doc/Html/manual004.html Xgprolog-1.2.1/doc/Html/manual005.html Xgprolog-1.2.1/doc/Html/manual006.html Xgprolog-1.2.1/doc/Html/manual007.html Xgprolog-1.2.1/doc/Html/manual008.html Xgprolog-1.2.1/doc/Html/manual009.html Xgprolog-1.2.1/doc/Html/manual010.html Xgprolog-1.2.1/doc/Html/manual011.html Xgprolog-1.2.1/doc/Html/manual012.html Xgprolog-1.2.1/doc/Html/manual013.html Xgprolog-1.2.1/doc/Html/manual014.html Xgprolog-1.2.1/doc/Html/manual015.html Xgprolog-1.2.1/doc/Html/manual016.html Xgprolog-1.2.1/doc/Html/manual017.html Xgprolog-1.2.1/doc/Html/manual018.html Xgprolog-1.2.1/doc/Html/manual019.html Xgprolog-1.2.1/doc/Html/manual020.html Xgprolog-1.2.1/doc/Html/manual021.html Xgprolog-1.2.1/doc/Html/manual022.html Xgprolog-1.2.1/doc/Html/manual023.html Xgprolog-1.2.1/doc/Html/manual024.html Xgprolog-1.2.1/doc/Html/manual025.html Xgprolog-1.2.1/doc/Html/manual026.html Xgprolog-1.2.1/doc/Html/manual027.html Xgprolog-1.2.1/doc/Html/manual028.html Xgprolog-1.2.1/doc/Html/manual029.html Xgprolog-1.2.1/doc/Html/manual030.html Xgprolog-1.2.1/doc/Html/manual031.html Xgprolog-1.2.1/doc/Html/manual032.html Xgprolog-1.2.1/doc/Html/manual033.html Xgprolog-1.2.1/doc/Html/manual034.html Xgprolog-1.2.1/doc/Html/manual035.html Xgprolog-1.2.1/doc/Html/manual036.html Xgprolog-1.2.1/doc/Html/manual037.html Xgprolog-1.2.1/doc/Html/manual038.html Xgprolog-1.2.1/doc/Html/manual039.html Xgprolog-1.2.1/doc/Html/manual040.html Xgprolog-1.2.1/doc/Html/manual041.html Xgprolog-1.2.1/doc/Html/manual042.html Xgprolog-1.2.1/doc/Html/manual043.html Xgprolog-1.2.1/doc/Html/manual044.html Xgprolog-1.2.1/doc/Html/manual045.html Xgprolog-1.2.1/doc/Html/manual046.html Xgprolog-1.2.1/doc/Html/manual047.html Xgprolog-1.2.1/doc/Html/manual048.html Xgprolog-1.2.1/doc/Html/manual049.html Xgprolog-1.2.1/doc/Html/manual050.html Xgprolog-1.2.1/doc/Html/manual051.html Xgprolog-1.2.1/doc/Html/manual052.html Xgprolog-1.2.1/doc/Html/manual053.html Xgprolog-1.2.1/doc/Html/manual054.html Xgprolog-1.2.1/doc/Html/manual055.html Xgprolog-1.2.1/doc/Html/manual056.html Xgprolog-1.2.1/doc/Html/manual057.html Xgprolog-1.2.1/doc/Html/manual058.html Xgprolog-1.2.1/doc/Html/manual059.html Xgprolog-1.2.1/doc/Html/manual060.html Xgprolog-1.2.1/doc/Html/manual061.html Xgprolog-1.2.1/doc/Html/manual062.html Xgprolog-1.2.1/doc/Html/manual063.html Xgprolog-1.2.1/doc/Html/manual064.html Xgprolog-1.2.1/doc/Html/manual065.html Xgprolog-1.2.1/doc/Html/manual066.html Xgprolog-1.2.1/doc/Html/manual067.html Xgprolog-1.2.1/doc/Html/manual068.html Xgprolog-1.2.1/doc/Html/manual069.html Xgprolog-1.2.1/doc/Html/compil-scheme.gif Xgprolog-1.2.1/doc/Html/contents_motif.gif Xgprolog-1.2.1/doc/Html/debug-box.gif Xgprolog-1.2.1/doc/Html/next_motif.gif Xgprolog-1.2.1/doc/Html/previous_motif.gif Xgprolog-1.2.1/ExamplesPl/Makefile Xgprolog-1.2.1/ExamplesPl/boyer.pl Xgprolog-1.2.1/ExamplesPl/browse.pl Xgprolog-1.2.1/ExamplesPl/cal.pl Xgprolog-1.2.1/ExamplesPl/chat_parser.pl Xgprolog-1.2.1/ExamplesPl/crypt.pl Xgprolog-1.2.1/ExamplesPl/ham.pl Xgprolog-1.2.1/ExamplesPl/meta_qsort.pl Xgprolog-1.2.1/ExamplesPl/nand.pl Xgprolog-1.2.1/ExamplesPl/nrev.pl Xgprolog-1.2.1/ExamplesPl/poly_10.pl Xgprolog-1.2.1/ExamplesPl/queens.pl Xgprolog-1.2.1/ExamplesPl/queens8.pl Xgprolog-1.2.1/ExamplesPl/reducer.pl Xgprolog-1.2.1/ExamplesPl/sdda.pl Xgprolog-1.2.1/ExamplesPl/sendmore.pl Xgprolog-1.2.1/ExamplesPl/tak.pl Xgprolog-1.2.1/ExamplesPl/tak_gvar.pl Xgprolog-1.2.1/ExamplesPl/zebra.pl Xgprolog-1.2.1/ExamplesFD/Makefile Xgprolog-1.2.1/ExamplesFD/alpha.pl Xgprolog-1.2.1/ExamplesFD/array.pl Xgprolog-1.2.1/ExamplesFD/bdiag.pl Xgprolog-1.2.1/ExamplesFD/bdonald.pl Xgprolog-1.2.1/ExamplesFD/bpigeon.pl Xgprolog-1.2.1/ExamplesFD/bqueens.pl Xgprolog-1.2.1/ExamplesFD/bramsey.pl Xgprolog-1.2.1/ExamplesFD/bridge.pl Xgprolog-1.2.1/ExamplesFD/bridge1.pl Xgprolog-1.2.1/ExamplesFD/bschur.pl Xgprolog-1.2.1/ExamplesFD/bsend.pl Xgprolog-1.2.1/ExamplesFD/cars.pl Xgprolog-1.2.1/ExamplesFD/crypta.pl Xgprolog-1.2.1/ExamplesFD/digit8.pl Xgprolog-1.2.1/ExamplesFD/donald.pl Xgprolog-1.2.1/ExamplesFD/eq10.pl Xgprolog-1.2.1/ExamplesFD/eq20.pl Xgprolog-1.2.1/ExamplesFD/five.pl Xgprolog-1.2.1/ExamplesFD/gardner.pl Xgprolog-1.2.1/ExamplesFD/magic.pl Xgprolog-1.2.1/ExamplesFD/magsq.pl Xgprolog-1.2.1/ExamplesFD/multipl.pl Xgprolog-1.2.1/ExamplesFD/partit.pl Xgprolog-1.2.1/ExamplesFD/qg5.pl Xgprolog-1.2.1/ExamplesFD/queens.pl Xgprolog-1.2.1/ExamplesFD/send.pl Xgprolog-1.2.1/ExamplesFD/square.pl Xgprolog-1.2.1/ExamplesFD/srq.pl Xgprolog-1.2.1/ExamplesFD/queens_fd.fd X@dirrm gprolog-1.2.1/ExamplesFD X@dirrm gprolog-1.2.1/ExamplesPl X@dirrm gprolog-1.2.1/doc/Html X@dirrm gprolog-1.2.1/doc X@dirrm gprolog-1.2.1/lib X@dirrm gprolog-1.2.1/include X@dirrm gprolog-1.2.1/bin X@dirrm gprolog-1.2.1 END-of-/usr/ports/lang/gprolog/pkg-plist echo x - /usr/ports/lang/gprolog/distinfo sed 's/^X//' >/usr/ports/lang/gprolog/distinfo << 'END-of-/usr/ports/lang/gprolog/distinfo' XMD5 (gprolog-1.2.1.tar.gz) = 8858c7b3dcf297cc9c7233c085e844c5 END-of-/usr/ports/lang/gprolog/distinfo echo c - /usr/ports/lang/gprolog/files mkdir -p /usr/ports/lang/gprolog/files > /dev/null 2>&1 echo x - /usr/ports/lang/gprolog/files/patch-ix86_any.c sed 's/^X//' >/usr/ports/lang/gprolog/files/patch-ix86_any.c << 'END-of-/usr/ports/lang/gprolog/files/patch-ix86_any.c' X--- Ma2Asm/ix86_any.c.orig Sat Jun 30 12:19:37 2001 X+++ Ma2Asm/ix86_any.c Sat Jun 30 12:20:04 2001 X@@ -39,7 +39,7 @@ X X #define MAX_C_ARGS_IN_C_CODE 32 X X-#if defined(M_ix86_cygwin) || defined(M_ix86_bsd) X+#if defined(M_ix86_cygwin) || (defined(M_ix86_bsd) && !defined(__FreeBSD__)) X X #define UN "_" X END-of-/usr/ports/lang/gprolog/files/patch-ix86_any.c exit >Release-Note: >Audit-Trail: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200106302227.f5UMRLc26534>