Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 19 Jul 2013 09:53:09 +0000 (UTC)
From:      Alexey Dokuchaev <danfe@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r323278 - head/misc/otter
Message-ID:  <201307190953.r6J9r9mb014548@svn.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: danfe
Date: Fri Jul 19 09:53:08 2013
New Revision: 323278
URL: http://svnweb.freebsd.org/changeset/ports/323278

Log:
  - Attempt to fix parallel builds (-jX)
  - Utilize OPTIONS framework for docs and examples
  - Generally clean up the port while here
  
  Reported by:	pointyhat-west

Modified:
  head/misc/otter/Makefile
  head/misc/otter/pkg-plist

Modified: head/misc/otter/Makefile
==============================================================================
--- head/misc/otter/Makefile	Fri Jul 19 09:51:46 2013	(r323277)
+++ head/misc/otter/Makefile	Fri Jul 19 09:53:08 2013	(r323278)
@@ -1,9 +1,5 @@
-# New ports collection makefile for:	otter
-# Date created:         2006-02-04
-# Whom:                 wollman
-#
+# Created by: Garrett Wollman <wollman@FreeBSD.org>
 # $FreeBSD$
-#
 
 PORTNAME=	otter
 PORTVERSION=	3.3f
@@ -12,28 +8,37 @@ CATEGORIES=	misc
 MASTER_SITES=	http://www-unix.mcs.anl.gov/AR/otter/dist33/
 
 MAINTAINER=	wollman@FreeBSD.org
-COMMENT=	A theorem prover and finite model searcher
+COMMENT=	Theorem prover and finite model searcher
+
+MAKE_ARGS=	CC="${CC}" CFLAGS="${CFLAGS}"
 
 PROGRAMS=	anldp mace2 otter
 PORTDOCS=	README anldp.pdf mace2.pdf otter33.pdf
 
+OPTIONS_DEFINE=	DOCS EXAMPLES
+
+.include <bsd.port.options.mk>
+
 post-patch:
-	@${REINPLACE_CMD} -e 's|CC=gcc|CC=$$(CC) CFLAGS="$$(CFLAGS)"|g' \
-		${WRKSRC}/Makefile
+# Change "cd foo && $(MAKE)" into "$(MAKE) -C foo"
+	@${REINPLACE_CMD} -E 's,cd (.+) && (\$$\(MAKE\)),\2 -C \1, ; \
+		s,CC=gcc,,' ${WRKSRC}/Makefile
+# Add missing depedencies for install targets
+	@${REINPLACE_CMD} -e 's,^install:,& otter,' \
+		${WRKSRC}/source/Makefile
+	@${REINPLACE_CMD} -e 's,^install:,& mace2 anldp,' \
+		${WRKSRC}/mace2/Makefile
 
 do-install:
-.for prog in ${PROGRAMS}
-	${INSTALL_PROGRAM} ${WRKSRC}/bin/${prog} ${PREFIX}/bin
-.endfor
-.if !defined(NOPORTDOCS)
-	${MKDIR} ${DOCSDIR}
-.for doc in ${PORTDOCS}
-	${INSTALL_DATA} ${WRKSRC}/documents/${doc} ${DOCSDIR}
-.endfor
+	${INSTALL_PROGRAM} ${PROGRAMS:S,^,${WRKSRC}/bin/,} ${PREFIX}/bin
+.if ${PORT_OPTIONS:MDOCS}
+	@${MKDIR} ${DOCSDIR}
+	${INSTALL_DATA} ${PORTDOCS:S,^,${WRKSRC}/documents/,} ${DOCSDIR}
 .endif
-	${MKDIR} ${EXAMPLESDIR}
-	${MKDIR} ${PREFIX}/share/examples/mace2
+.if ${PORT_OPTIONS:MEXAMPLES}
+	@${MKDIR} ${EXAMPLESDIR} ${PREFIX}/share/examples/mace2
 	(cd ${WRKSRC}/examples; ${PAX} -rw . ${EXAMPLESDIR})
 	(cd ${WRKSRC}/examples-mace2; ${PAX} -rw . ${PREFIX}/share/examples/mace2)
+.endif
 
 .include <bsd.port.mk>

Modified: head/misc/otter/pkg-plist
==============================================================================
--- head/misc/otter/pkg-plist	Fri Jul 19 09:51:46 2013	(r323277)
+++ head/misc/otter/pkg-plist	Fri Jul 19 09:53:08 2013	(r323278)
@@ -1,339 +1,339 @@
 bin/anldp
 bin/mace2
 bin/otter
-%%EXAMPLESDIR%%/summary
-%%EXAMPLESDIR%%/Run_group
-%%EXAMPLESDIR%%/auto/robbins.out
-%%EXAMPLESDIR%%/auto/pigeon.in
-%%EXAMPLESDIR%%/auto/salt.in
-%%EXAMPLESDIR%%/auto/x2_quant.out
-%%EXAMPLESDIR%%/auto/lifsch.in
-%%EXAMPLESDIR%%/auto/mv25.out
-%%EXAMPLESDIR%%/auto/steam.in
-%%EXAMPLESDIR%%/auto/comm.in
-%%EXAMPLESDIR%%/auto/ring_x2.in
-%%EXAMPLESDIR%%/auto/tba_gg.in
-%%EXAMPLESDIR%%/auto/x2_quant.in
-%%EXAMPLESDIR%%/auto/w_sk.in
-%%EXAMPLESDIR%%/auto/z11.out
-%%EXAMPLESDIR%%/auto/pigeon.out
-%%EXAMPLESDIR%%/auto/comm.out
-%%EXAMPLESDIR%%/auto/salt.out
-%%EXAMPLESDIR%%/auto/lifsch.out
-%%EXAMPLESDIR%%/auto/sam.in
-%%EXAMPLESDIR%%/auto/steam.out
-%%EXAMPLESDIR%%/auto/wang1.in
-%%EXAMPLESDIR%%/auto/group.out
-%%EXAMPLESDIR%%/auto/cn19.out
-%%EXAMPLESDIR%%/auto/ec_yq.in
-%%EXAMPLESDIR%%/auto/ring_x2.out
-%%EXAMPLESDIR%%/auto/robbins.in
-%%EXAMPLESDIR%%/auto/ec_yq.out
-%%EXAMPLESDIR%%/auto/wang1.out
-%%EXAMPLESDIR%%/auto/w_sk.out
-%%EXAMPLESDIR%%/auto/group.in
-%%EXAMPLESDIR%%/auto/index.html
-%%EXAMPLESDIR%%/auto/README
-%%EXAMPLESDIR%%/auto/cn19.in
-%%EXAMPLESDIR%%/auto/z11.in
-%%EXAMPLESDIR%%/auto/sam.out
-%%EXAMPLESDIR%%/auto/tba_gg.out
-%%EXAMPLESDIR%%/auto/mv25.in
-%%EXAMPLESDIR%%/misc/sax1.in
-%%EXAMPLESDIR%%/misc/dem_alu.in
-%%EXAMPLESDIR%%/misc/sax2.in
-%%EXAMPLESDIR%%/misc/mv.in
-%%EXAMPLESDIR%%/misc/andrews.in
-%%EXAMPLESDIR%%/misc/dem_alu.out
-%%EXAMPLESDIR%%/misc/stage1.out
-%%EXAMPLESDIR%%/misc/str_bws.in.28752
-%%EXAMPLESDIR%%/misc/cn.in
-%%EXAMPLESDIR%%/misc/str_bws.in
-%%EXAMPLESDIR%%/misc/andrews.out
-%%EXAMPLESDIR%%/misc/kb_bench.in
-%%EXAMPLESDIR%%/misc/stage2.in
-%%EXAMPLESDIR%%/misc/dem_alu.in.28752
-%%EXAMPLESDIR%%/misc/andrews.in.28752
-%%EXAMPLESDIR%%/misc/cn.out
-%%EXAMPLESDIR%%/misc/stage2.out
-%%EXAMPLESDIR%%/misc/stage1.in
-%%EXAMPLESDIR%%/misc/mv.out
-%%EXAMPLESDIR%%/misc/index.html
-%%EXAMPLESDIR%%/misc/sax2.out
-%%EXAMPLESDIR%%/misc/README
-%%EXAMPLESDIR%%/misc/kb_bench.out
-%%EXAMPLESDIR%%/misc/mv.in.28752
-%%EXAMPLESDIR%%/misc/cn.in.28752
-%%EXAMPLESDIR%%/misc/str_bws.out
-%%EXAMPLESDIR%%/misc/sax1.out
-%%EXAMPLESDIR%%/misc/ec.out
-%%EXAMPLESDIR%%/misc/ec.in
-%%EXAMPLESDIR%%/Makefile
-%%EXAMPLESDIR%%/fringe/luka5h.out
-%%EXAMPLESDIR%%/fringe/lexical1.out
-%%EXAMPLESDIR%%/fringe/gl8.in
-%%EXAMPLESDIR%%/fringe/x3tricks.in
-%%EXAMPLESDIR%%/fringe/lexical2.in
-%%EXAMPLESDIR%%/fringe/if.in
-%%EXAMPLESDIR%%/fringe/lexical3.out
-%%EXAMPLESDIR%%/fringe/lexical2.out
-%%EXAMPLESDIR%%/fringe/mfl_13.out
-%%EXAMPLESDIR%%/fringe/gl8.out
-%%EXAMPLESDIR%%/fringe/mfl_13.in
-%%EXAMPLESDIR%%/fringe/gl4.out
-%%EXAMPLESDIR%%/fringe/rob_ocd.in
-%%EXAMPLESDIR%%/fringe/ec_yql.out
-%%EXAMPLESDIR%%/fringe/ec_yql.in.28897
-%%EXAMPLESDIR%%/fringe/rob_ocd.out
-%%EXAMPLESDIR%%/fringe/x3tricks.out
-%%EXAMPLESDIR%%/fringe/olsax_hints.in
-%%EXAMPLESDIR%%/fringe/bring.out
-%%EXAMPLESDIR%%/fringe/index.html
-%%EXAMPLESDIR%%/fringe/if.out
-%%EXAMPLESDIR%%/fringe/gl4.in.28897
-%%EXAMPLESDIR%%/fringe/gl4.in
-%%EXAMPLESDIR%%/fringe/README
-%%EXAMPLESDIR%%/fringe/luka5h.in
-%%EXAMPLESDIR%%/fringe/lexical1.in
-%%EXAMPLESDIR%%/fringe/bring.in
-%%EXAMPLESDIR%%/fringe/lexical3.in
-%%EXAMPLESDIR%%/fringe/ec_yql.in
-%%EXAMPLESDIR%%/fringe/olsax_hints.out
-%%EXAMPLESDIR%%/wos/grp_exp4.in
-%%EXAMPLESDIR%%/wos/grp_exp3.in
-%%EXAMPLESDIR%%/wos/cursory.in
-%%EXAMPLESDIR%%/wos/cursory.out
-%%EXAMPLESDIR%%/wos/twoval.in
-%%EXAMPLESDIR%%/wos/README.more
-%%EXAMPLESDIR%%/wos/rigorous.out
-%%EXAMPLESDIR%%/wos/grp_exp4.out
-%%EXAMPLESDIR%%/wos/rigorous.in
-%%EXAMPLESDIR%%/wos/rob_occ.in
-%%EXAMPLESDIR%%/wos/index.html
-%%EXAMPLESDIR%%/wos/rob_occ.out
-%%EXAMPLESDIR%%/wos/manyval.out
-%%EXAMPLESDIR%%/wos/README
-%%EXAMPLESDIR%%/wos/manyval.in
-%%EXAMPLESDIR%%/wos/twoval.out
-%%EXAMPLESDIR%%/wos/grp_exp3.out
-%%EXAMPLESDIR%%/Loop/temp
-%%EXAMPLESDIR%%/Loop/otter-ploop
-%%EXAMPLESDIR%%/Loop/Sheffer-mgi-without-mirrors
-%%EXAMPLESDIR%%/Loop/README
-%%EXAMPLESDIR%%/Loop/head
-%%EXAMPLESDIR%%/ivy/group-x2-refute.out
-%%EXAMPLESDIR%%/ivy/group-comm.out
-%%EXAMPLESDIR%%/ivy/lifsch.in
-%%EXAMPLESDIR%%/ivy/steam.in
-%%EXAMPLESDIR%%/ivy/group-x2.out
-%%EXAMPLESDIR%%/ivy/comb-sk-w.out
-%%EXAMPLESDIR%%/ivy/lifsch.out
-%%EXAMPLESDIR%%/ivy/p-and-not-p.in
-%%EXAMPLESDIR%%/ivy/p-and-not-p.out
-%%EXAMPLESDIR%%/ivy/steam.out
-%%EXAMPLESDIR%%/ivy/cd-cn19.out
-%%EXAMPLESDIR%%/ivy/t1.out
-%%EXAMPLESDIR%%/ivy/group-comm.in
-%%EXAMPLESDIR%%/ivy/comb-sk-w.in
-%%EXAMPLESDIR%%/ivy/group-x2-refute.in
-%%EXAMPLESDIR%%/ivy/group-x2.in
-%%EXAMPLESDIR%%/ivy/index.html
-%%EXAMPLESDIR%%/ivy/README
-%%EXAMPLESDIR%%/ivy/cd-cn19.in
-%%EXAMPLESDIR%%/ivy/t1.in
-%%EXAMPLESDIR%%/index.html
-%%EXAMPLESDIR%%/README
-%%EXAMPLESDIR%%/program/mission.in
-%%EXAMPLESDIR%%/program/jugs.out
-%%EXAMPLESDIR%%/program/queens.in
-%%EXAMPLESDIR%%/program/jugs.in
-%%EXAMPLESDIR%%/program/two_inv.in
-%%EXAMPLESDIR%%/program/two_inv.out
-%%EXAMPLESDIR%%/program/eval.out
-%%EXAMPLESDIR%%/program/mission.out
-%%EXAMPLESDIR%%/program/queens.out
-%%EXAMPLESDIR%%/program/index.html
-%%EXAMPLESDIR%%/program/README
-%%EXAMPLESDIR%%/program/eval.in
-%%EXAMPLESDIR%%/Run_all
-%%EXAMPLESDIR%%/Run_all.out
-%%EXAMPLESDIR%%/kalman/i4.in
-%%EXAMPLESDIR%%/kalman/ex_1.out
-%%EXAMPLESDIR%%/kalman/i1.in
-%%EXAMPLESDIR%%/kalman/ex_4.in
-%%EXAMPLESDIR%%/kalman/ex_3.out
-%%EXAMPLESDIR%%/kalman/ex_2.out
-%%EXAMPLESDIR%%/kalman/i3.out
-%%EXAMPLESDIR%%/kalman/ex_2.in
-%%EXAMPLESDIR%%/kalman/ex_4.out
-%%EXAMPLESDIR%%/kalman/ex_3.in
-%%EXAMPLESDIR%%/kalman/ex_1.in
-%%EXAMPLESDIR%%/kalman/i4.out
-%%EXAMPLESDIR%%/kalman/i3.in
-%%EXAMPLESDIR%%/kalman/index.html
-%%EXAMPLESDIR%%/kalman/i1.out
-%%EXAMPLESDIR%%/kalman/README
-%%EXAMPLESDIR%%/kalman/i2.in
-%%EXAMPLESDIR%%/kalman/i2.out
-%%EXAMPLESDIR%%/split/GEO010-2.in
-%%EXAMPLESDIR%%/split/wang3.out
-%%EXAMPLESDIR%%/split/group2.in
-%%EXAMPLESDIR%%/split/power.out
-%%EXAMPLESDIR%%/split/GEO036-2.out
-%%EXAMPLESDIR%%/split/zebra4.out
-%%EXAMPLESDIR%%/split/pigeon5.in
-%%EXAMPLESDIR%%/split/GEO036-2.in
-%%EXAMPLESDIR%%/split/wang3.in
-%%EXAMPLESDIR%%/split/zebra2.in
-%%EXAMPLESDIR%%/split/README.more
-%%EXAMPLESDIR%%/split/noncomm-group.out
-%%EXAMPLESDIR%%/split/pigeon5.out
-%%EXAMPLESDIR%%/split/power.in
-%%EXAMPLESDIR%%/split/GRP025-1.out
-%%EXAMPLESDIR%%/split/noncomm-group.in
-%%EXAMPLESDIR%%/split/zebra4.in
-%%EXAMPLESDIR%%/split/temp1
-%%EXAMPLESDIR%%/split/group2.out
-%%EXAMPLESDIR%%/split/index.html
-%%EXAMPLESDIR%%/split/README
-%%EXAMPLESDIR%%/split/pair.out
-%%EXAMPLESDIR%%/split/pair.in
-%%EXAMPLESDIR%%/split/zebra2.out
-%%EXAMPLESDIR%%/split/GRP025-1.in
-%%EXAMPLESDIR%%/split/GEO010-2.out
-share/examples/mace2/Run_mace
-share/examples/mace2/Makefile
-share/examples/mace2/basic/temp
-share/examples/mace2/basic/cl_sw.out
-share/examples/mace2/basic/cd.in
-share/examples/mace2/basic/tough-nut.out
-share/examples/mace2/basic/cl_ql.in
-share/examples/mace2/basic/tba.in
-share/examples/mace2/basic/noncommutative_group.in
-share/examples/mace2/basic/cd.out
-share/examples/mace2/basic/tba.out
-share/examples/mace2/basic/ordered_semi.in
-share/examples/mace2/basic/index.html
-share/examples/mace2/basic/README
-share/examples/mace2/basic/tough-nut.in
-share/examples/mace2/basic/cl_ql.out
-share/examples/mace2/basic/ring.in
-share/examples/mace2/basic/cl_sw.in
-share/examples/mace2/basic/program
-share/examples/mace2/basic/ring.out
-share/examples/mace2/basic/noncommutative_group.out
-share/examples/mace2/basic/ordered_semi.out
-share/examples/mace2/iterate/CAT019-5.out
-share/examples/mace2/iterate/PUZ001-3.in
-share/examples/mace2/iterate/LAT025-1.in
-share/examples/mace2/iterate/LCL136-1.out
-share/examples/mace2/iterate/RNG025-8.in
-share/examples/mace2/iterate/noncommutive_ring1.out
-share/examples/mace2/iterate/noncommutive_ring1.in
-share/examples/mace2/iterate/CAT019-5.in
-share/examples/mace2/iterate/cd.in
-share/examples/mace2/iterate/noncommutative_group.in
-share/examples/mace2/iterate/cd.out
-share/examples/mace2/iterate/PUZ001-3.out
-share/examples/mace2/iterate/BOO032-1.in
-share/examples/mace2/iterate/index.html
-share/examples/mace2/iterate/README
-share/examples/mace2/iterate/BOO032-1.out
-share/examples/mace2/iterate/kauer.out
-share/examples/mace2/iterate/program
-share/examples/mace2/iterate/LCL136-1.in
-share/examples/mace2/iterate/kauer.in
-share/examples/mace2/iterate/LAT025-1.out
-share/examples/mace2/iterate/RNG025-8.out
-share/examples/mace2/iterate/noncommutative_group.out
-share/examples/mace2/propositional/p8.out
-share/examples/mace2/propositional/p10.IN
-share/examples/mace2/propositional/p7.out
-share/examples/mace2/propositional/f3.out
-share/examples/mace2/propositional/p9.out
-share/examples/mace2/propositional/p6.in
-share/examples/mace2/propositional/p6.out
-share/examples/mace2/propositional/README.more
-share/examples/mace2/propositional/p9.in
-share/examples/mace2/propositional/q10.in
-share/examples/mace2/propositional/f4.out
-share/examples/mace2/propositional/f2.in
-share/examples/mace2/propositional/f2.out
-share/examples/mace2/propositional/p5.out
-share/examples/mace2/propositional/index.html
-share/examples/mace2/propositional/README
-share/examples/mace2/propositional/q10.out
-share/examples/mace2/propositional/p8.in
-share/examples/mace2/propositional/p5.in
-share/examples/mace2/propositional/f4.in
-share/examples/mace2/propositional/program
-share/examples/mace2/propositional/f3.in
-share/examples/mace2/propositional/p7.in
-share/examples/mace2/lattice/lt-ol.out
-share/examples/mace2/lattice/ml-mol.out
-share/examples/mace2/lattice/ol-e4.out
-share/examples/mace2/lattice/oml-mol.in
-share/examples/mace2/lattice/ol-oml.in
-share/examples/mace2/lattice/oml-mol.out
-share/examples/mace2/lattice/lt-ml.out
-share/examples/mace2/lattice/lt-ol.in
-share/examples/mace2/lattice/finite-lattice
-share/examples/mace2/lattice/ortholattice
-share/examples/mace2/lattice/lattice-axioms
-share/examples/mace2/lattice/ol-e1.out
-share/examples/mace2/lattice/ol-oml.out
-share/examples/mace2/lattice/ml-mol.in
-share/examples/mace2/lattice/index.html
-share/examples/mace2/lattice/README
-share/examples/mace2/lattice/mol-ba.out
-share/examples/mace2/lattice/ol-e1.in
-share/examples/mace2/lattice/mol-ba.in
-share/examples/mace2/lattice/program
-share/examples/mace2/lattice/ol-e4.in
-share/examples/mace2/lattice/lt-ml.in
-share/examples/mace2/index.html
-share/examples/mace2/README
-share/examples/mace2/quasigroup/qg7bl.in
-share/examples/mace2/quasigroup/qg6.in
-share/examples/mace2/quasigroup/qg4.out
-share/examples/mace2/quasigroup/qg1d.out
-share/examples/mace2/quasigroup/omts9.in
-share/examples/mace2/quasigroup/qg3.in
-share/examples/mace2/quasigroup/qg5l.out
-share/examples/mace2/quasigroup/qg3.out
-share/examples/mace2/quasigroup/omts9.out
-share/examples/mace2/quasigroup/qg1d.in
-share/examples/mace2/quasigroup/qg7bl.out
-share/examples/mace2/quasigroup/index.html
-share/examples/mace2/quasigroup/qg6.out
-share/examples/mace2/quasigroup/README
-share/examples/mace2/quasigroup/qg5l.in
-share/examples/mace2/quasigroup/program
-share/examples/mace2/quasigroup/qg4.in
-share/examples/mace2/quasigroup/qg2d.in
-share/examples/mace2/quasigroup/qg2d.out
-share/examples/mace2/Run_all
-share/examples/mace2/Run_all.out
-share/examples/mace2/Run_anldp
-share/examples/mace2/Perl-examples/Sheffer-mgi-without-mirrors
-share/examples/mace2/Perl-examples/commute4_filter
-share/examples/mace2/Perl-examples/index.html
-share/examples/mace2/Perl-examples/README
-share/examples/mace2/Perl-examples/candidates
-@dirrm %%EXAMPLESDIR%%/auto
-@dirrm %%EXAMPLESDIR%%/misc
-@dirrm %%EXAMPLESDIR%%/fringe
-@dirrm %%EXAMPLESDIR%%/wos
-@dirrm %%EXAMPLESDIR%%/Loop
-@dirrm %%EXAMPLESDIR%%/ivy
-@dirrm %%EXAMPLESDIR%%/program
-@dirrm %%EXAMPLESDIR%%/kalman
-@dirrm %%EXAMPLESDIR%%/split
-@dirrm %%EXAMPLESDIR%%
-@dirrm share/examples/mace2/basic
-@dirrm share/examples/mace2/iterate
-@dirrm share/examples/mace2/propositional
-@dirrm share/examples/mace2/lattice
-@dirrm share/examples/mace2/quasigroup
-@dirrm share/examples/mace2/Perl-examples
-@dirrm share/examples/mace2
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/summary
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Run_group
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/robbins.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/pigeon.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/salt.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/x2_quant.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/lifsch.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/mv25.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/steam.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/comm.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/ring_x2.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/tba_gg.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/x2_quant.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/w_sk.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/z11.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/pigeon.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/comm.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/salt.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/lifsch.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/sam.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/steam.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/wang1.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/group.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/cn19.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/ec_yq.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/ring_x2.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/robbins.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/ec_yq.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/wang1.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/w_sk.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/group.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/index.html
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/README
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/cn19.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/z11.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/sam.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/tba_gg.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/mv25.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/sax1.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/dem_alu.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/sax2.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/mv.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/andrews.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/dem_alu.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/stage1.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/str_bws.in.28752
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/cn.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/str_bws.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/andrews.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/kb_bench.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/stage2.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/dem_alu.in.28752
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/andrews.in.28752
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/cn.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/stage2.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/stage1.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/mv.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/index.html
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/sax2.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/README
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/kb_bench.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/mv.in.28752
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/cn.in.28752
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/str_bws.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/sax1.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/ec.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/ec.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Makefile
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/luka5h.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/lexical1.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/gl8.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/x3tricks.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/lexical2.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/if.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/lexical3.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/lexical2.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/mfl_13.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/gl8.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/mfl_13.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/gl4.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/rob_ocd.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/ec_yql.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/ec_yql.in.28897
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/rob_ocd.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/x3tricks.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/olsax_hints.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/bring.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/index.html
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/if.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/gl4.in.28897
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/gl4.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/README
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/luka5h.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/lexical1.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/bring.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/lexical3.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/ec_yql.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/olsax_hints.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/grp_exp4.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/grp_exp3.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/cursory.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/cursory.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/twoval.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/README.more
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/rigorous.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/grp_exp4.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/rigorous.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/rob_occ.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/index.html
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/rob_occ.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/manyval.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/README
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/manyval.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/twoval.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/grp_exp3.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Loop/temp
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Loop/otter-ploop
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Loop/Sheffer-mgi-without-mirrors
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Loop/README
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Loop/head
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/group-x2-refute.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/group-comm.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/lifsch.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/steam.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/group-x2.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/comb-sk-w.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/lifsch.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/p-and-not-p.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/p-and-not-p.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/steam.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/cd-cn19.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/t1.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/group-comm.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/comb-sk-w.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/group-x2-refute.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/group-x2.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/index.html
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/README
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/cd-cn19.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/t1.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/index.html
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/README
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/mission.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/jugs.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/queens.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/jugs.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/two_inv.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/two_inv.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/eval.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/mission.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/queens.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/index.html
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/README
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/eval.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Run_all
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Run_all.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i4.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_1.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i1.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_4.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_3.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_2.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i3.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_2.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_4.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_3.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_1.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i4.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i3.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/index.html
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i1.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/README
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i2.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i2.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/GEO010-2.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/wang3.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/group2.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/power.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/GEO036-2.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/zebra4.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/pigeon5.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/GEO036-2.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/wang3.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/zebra2.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/README.more
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/noncomm-group.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/pigeon5.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/power.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/GRP025-1.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/noncomm-group.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/zebra4.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/temp1
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/group2.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/index.html
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/README
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/pair.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/pair.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/zebra2.out
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/GRP025-1.in
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/GEO010-2.out
+%%PORTEXAMPLES%%share/examples/mace2/Run_mace
+%%PORTEXAMPLES%%share/examples/mace2/Makefile
+%%PORTEXAMPLES%%share/examples/mace2/basic/temp
+%%PORTEXAMPLES%%share/examples/mace2/basic/cl_sw.out
+%%PORTEXAMPLES%%share/examples/mace2/basic/cd.in
+%%PORTEXAMPLES%%share/examples/mace2/basic/tough-nut.out
+%%PORTEXAMPLES%%share/examples/mace2/basic/cl_ql.in
+%%PORTEXAMPLES%%share/examples/mace2/basic/tba.in
+%%PORTEXAMPLES%%share/examples/mace2/basic/noncommutative_group.in
+%%PORTEXAMPLES%%share/examples/mace2/basic/cd.out
+%%PORTEXAMPLES%%share/examples/mace2/basic/tba.out
+%%PORTEXAMPLES%%share/examples/mace2/basic/ordered_semi.in
+%%PORTEXAMPLES%%share/examples/mace2/basic/index.html
+%%PORTEXAMPLES%%share/examples/mace2/basic/README
+%%PORTEXAMPLES%%share/examples/mace2/basic/tough-nut.in
+%%PORTEXAMPLES%%share/examples/mace2/basic/cl_ql.out
+%%PORTEXAMPLES%%share/examples/mace2/basic/ring.in
+%%PORTEXAMPLES%%share/examples/mace2/basic/cl_sw.in
+%%PORTEXAMPLES%%share/examples/mace2/basic/program
+%%PORTEXAMPLES%%share/examples/mace2/basic/ring.out
+%%PORTEXAMPLES%%share/examples/mace2/basic/noncommutative_group.out
+%%PORTEXAMPLES%%share/examples/mace2/basic/ordered_semi.out
+%%PORTEXAMPLES%%share/examples/mace2/iterate/CAT019-5.out
+%%PORTEXAMPLES%%share/examples/mace2/iterate/PUZ001-3.in
+%%PORTEXAMPLES%%share/examples/mace2/iterate/LAT025-1.in
+%%PORTEXAMPLES%%share/examples/mace2/iterate/LCL136-1.out
+%%PORTEXAMPLES%%share/examples/mace2/iterate/RNG025-8.in
+%%PORTEXAMPLES%%share/examples/mace2/iterate/noncommutive_ring1.out
+%%PORTEXAMPLES%%share/examples/mace2/iterate/noncommutive_ring1.in
+%%PORTEXAMPLES%%share/examples/mace2/iterate/CAT019-5.in
+%%PORTEXAMPLES%%share/examples/mace2/iterate/cd.in
+%%PORTEXAMPLES%%share/examples/mace2/iterate/noncommutative_group.in
+%%PORTEXAMPLES%%share/examples/mace2/iterate/cd.out
+%%PORTEXAMPLES%%share/examples/mace2/iterate/PUZ001-3.out
+%%PORTEXAMPLES%%share/examples/mace2/iterate/BOO032-1.in
+%%PORTEXAMPLES%%share/examples/mace2/iterate/index.html
+%%PORTEXAMPLES%%share/examples/mace2/iterate/README
+%%PORTEXAMPLES%%share/examples/mace2/iterate/BOO032-1.out
+%%PORTEXAMPLES%%share/examples/mace2/iterate/kauer.out
+%%PORTEXAMPLES%%share/examples/mace2/iterate/program
+%%PORTEXAMPLES%%share/examples/mace2/iterate/LCL136-1.in
+%%PORTEXAMPLES%%share/examples/mace2/iterate/kauer.in
+%%PORTEXAMPLES%%share/examples/mace2/iterate/LAT025-1.out
+%%PORTEXAMPLES%%share/examples/mace2/iterate/RNG025-8.out
+%%PORTEXAMPLES%%share/examples/mace2/iterate/noncommutative_group.out
+%%PORTEXAMPLES%%share/examples/mace2/propositional/p8.out
+%%PORTEXAMPLES%%share/examples/mace2/propositional/p10.IN
+%%PORTEXAMPLES%%share/examples/mace2/propositional/p7.out
+%%PORTEXAMPLES%%share/examples/mace2/propositional/f3.out
+%%PORTEXAMPLES%%share/examples/mace2/propositional/p9.out
+%%PORTEXAMPLES%%share/examples/mace2/propositional/p6.in
+%%PORTEXAMPLES%%share/examples/mace2/propositional/p6.out
+%%PORTEXAMPLES%%share/examples/mace2/propositional/README.more
+%%PORTEXAMPLES%%share/examples/mace2/propositional/p9.in
+%%PORTEXAMPLES%%share/examples/mace2/propositional/q10.in
+%%PORTEXAMPLES%%share/examples/mace2/propositional/f4.out
+%%PORTEXAMPLES%%share/examples/mace2/propositional/f2.in
+%%PORTEXAMPLES%%share/examples/mace2/propositional/f2.out
+%%PORTEXAMPLES%%share/examples/mace2/propositional/p5.out
+%%PORTEXAMPLES%%share/examples/mace2/propositional/index.html
+%%PORTEXAMPLES%%share/examples/mace2/propositional/README
+%%PORTEXAMPLES%%share/examples/mace2/propositional/q10.out
+%%PORTEXAMPLES%%share/examples/mace2/propositional/p8.in
+%%PORTEXAMPLES%%share/examples/mace2/propositional/p5.in
+%%PORTEXAMPLES%%share/examples/mace2/propositional/f4.in
+%%PORTEXAMPLES%%share/examples/mace2/propositional/program
+%%PORTEXAMPLES%%share/examples/mace2/propositional/f3.in
+%%PORTEXAMPLES%%share/examples/mace2/propositional/p7.in
+%%PORTEXAMPLES%%share/examples/mace2/lattice/lt-ol.out
+%%PORTEXAMPLES%%share/examples/mace2/lattice/ml-mol.out
+%%PORTEXAMPLES%%share/examples/mace2/lattice/ol-e4.out
+%%PORTEXAMPLES%%share/examples/mace2/lattice/oml-mol.in
+%%PORTEXAMPLES%%share/examples/mace2/lattice/ol-oml.in
+%%PORTEXAMPLES%%share/examples/mace2/lattice/oml-mol.out
+%%PORTEXAMPLES%%share/examples/mace2/lattice/lt-ml.out
+%%PORTEXAMPLES%%share/examples/mace2/lattice/lt-ol.in
+%%PORTEXAMPLES%%share/examples/mace2/lattice/finite-lattice
+%%PORTEXAMPLES%%share/examples/mace2/lattice/ortholattice
+%%PORTEXAMPLES%%share/examples/mace2/lattice/lattice-axioms
+%%PORTEXAMPLES%%share/examples/mace2/lattice/ol-e1.out
+%%PORTEXAMPLES%%share/examples/mace2/lattice/ol-oml.out
+%%PORTEXAMPLES%%share/examples/mace2/lattice/ml-mol.in
+%%PORTEXAMPLES%%share/examples/mace2/lattice/index.html
+%%PORTEXAMPLES%%share/examples/mace2/lattice/README
+%%PORTEXAMPLES%%share/examples/mace2/lattice/mol-ba.out
+%%PORTEXAMPLES%%share/examples/mace2/lattice/ol-e1.in
+%%PORTEXAMPLES%%share/examples/mace2/lattice/mol-ba.in
+%%PORTEXAMPLES%%share/examples/mace2/lattice/program
+%%PORTEXAMPLES%%share/examples/mace2/lattice/ol-e4.in
+%%PORTEXAMPLES%%share/examples/mace2/lattice/lt-ml.in
+%%PORTEXAMPLES%%share/examples/mace2/index.html
+%%PORTEXAMPLES%%share/examples/mace2/README
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg7bl.in
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg6.in
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg4.out
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg1d.out
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/omts9.in
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg3.in
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg5l.out
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg3.out
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/omts9.out
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg1d.in
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg7bl.out
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/index.html
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg6.out
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/README
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg5l.in
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/program
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg4.in
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg2d.in
+%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg2d.out
+%%PORTEXAMPLES%%share/examples/mace2/Run_all
+%%PORTEXAMPLES%%share/examples/mace2/Run_all.out
+%%PORTEXAMPLES%%share/examples/mace2/Run_anldp
+%%PORTEXAMPLES%%share/examples/mace2/Perl-examples/Sheffer-mgi-without-mirrors
+%%PORTEXAMPLES%%share/examples/mace2/Perl-examples/commute4_filter
+%%PORTEXAMPLES%%share/examples/mace2/Perl-examples/index.html
+%%PORTEXAMPLES%%share/examples/mace2/Perl-examples/README
+%%PORTEXAMPLES%%share/examples/mace2/Perl-examples/candidates
+%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/auto
+%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/misc
+%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/fringe
+%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/wos
+%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/Loop
+%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/ivy
+%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/program
+%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/kalman
+%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/split
+%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%
+%%PORTEXAMPLES%%@dirrm share/examples/mace2/basic
+%%PORTEXAMPLES%%@dirrm share/examples/mace2/iterate
+%%PORTEXAMPLES%%@dirrm share/examples/mace2/propositional
+%%PORTEXAMPLES%%@dirrm share/examples/mace2/lattice
+%%PORTEXAMPLES%%@dirrm share/examples/mace2/quasigroup
+%%PORTEXAMPLES%%@dirrm share/examples/mace2/Perl-examples
+%%PORTEXAMPLES%%@dirrm share/examples/mace2



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201307190953.r6J9r9mb014548>