diff options
| -rw-r--r-- | misc/otter/Makefile | 41 | ||||
| -rw-r--r-- | misc/otter/pkg-plist | 672 |
2 files changed, 359 insertions, 354 deletions
diff --git a/misc/otter/Makefile b/misc/otter/Makefile index b4a8f2def172..6b9e3214ad3e 100644 --- a/misc/otter/Makefile +++ b/misc/otter/Makefile @@ -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> diff --git a/misc/otter/pkg-plist b/misc/otter/pkg-plist index 1b53d7feaa37..a4e360059ad1 100644 --- a/misc/otter/pkg-plist +++ b/misc/otter/pkg-plist @@ -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 |