Makefile.am

AUTOMAKE_OPTIONS=no-installinfo no-texinfo.tex info-in-builddir
ARCENV=ARCPATH=${builddir}:${srcdir} ARC_DATADIR=.
ARC=${top_builddir}/src/arc
ARCOPTS=-c 'set arc.shell.preprocessor.php.command php'
info_TEXINFOS = arc-handbook.texi
MAKEINFOFLAGS=-I ${srcdir} -I ${builddir}

CMDLINE_HELP_FILES = \
   a2l-preferences.texi \
   acheck-builtins.texi \
   acheck-commands.texi \
   apropos-cmd.texi \
   ca-cmd.texi \
   card-cmd.texi \
   cd-cmd.texi \
   check-card-cmd.texi \
   chkctl-cmd.texi \
   cuts-cmd.texi \
   depgraph-cmd.texi \
   diag-cmd.texi \
   echo-cmd.texi \
   eval-cmd.texi \
   exit-cmd.texi \
   flatten-cmd.texi \
   gc-cmd.texi \
   help-cmd.texi \
   info-cmd.texi \
   l2a-preferences.texi \
   list-cmd.texi \
   load-cmd.texi \
   mec5-builtins.texi \
   node-info-cmd.texi \
   obfuscate-cmd.texi \
   pick-cmd.texi \
   preferences.texi \
   pwd-cmd.texi \
   references.texi \
   remove-cmd.texi \
   sat-cmd.texi \
   set-cmd.texi \
   show-cmd.texi \
   show-ts-marks-cmd.texi \
   solve-cmd.texi \
   stepper-cmd.texi \
   store-cmd.texi \
   target-reduction-cmd.texi \
   timer-cmd.texi \
   to-lustre-cmd.texi \
   ts-cmd.texi  \
   ts-marks-cmd.texi \
   validate-cmd.texi 

GENERATED_HELP_FILES = \
   banner.texi \
   commands.texi \
   pages.texi \
   release-info.texi \
   license.texi \
   authors.texi

EXTRA_TEXINFOS= \
  arc-handbook.texi \
  acheck.texi \
  introduction.texi \
  session.texi \
  macros.texi \
  references.texi \
  indices.texi \
  installation.texi \
  preferences.texi \
  mec5.texi \
  as.texi \
  \
  arc-shell.texi \
   ${CMDLINE_HELP_FILES}

CMDLINE_FILES=$(CMDLINE_HELP_FILES:%.texi=%.txt) \
              $(GENERATED_HELP_FILES:%.texi=%.txt)

ARC_GENERATED_FILES= pipeline.goal pipeline.reduced.alt \
                     cuts-example-1.res cuts-example-2.res \
                     cuts-example-3.res cuts-example-4.res  \
                     cuts-example-5.res cuts-example-6.res 



CLEANFILES=${CMDLINE_FILES} ${GENERATED_HELP_FILES} pages.idx cmdmacros.texi \
           ${ARC_GENERATED_FILES} default-preferences \
           arc-handbook.info

EXTRA_DIST = switch.alt leaky-pipe.alt counter.alt pick-example.alt \
             seq-n-counters.alt store-example.mec5 fp-ex1.mec5 fp-ex2.mec5 \
             fp-ex3.mec5 munu.dot munu.mec5 munu.pdf \
             game.ack  game.arc  game.mec5  game_q0.dot  game_q1.dot \
             game.alt  game.dot  game.pdf   game_q0.pdf  game_q1.pdf \
             ${CMDLINE_FILES} pipeline.alt.php pipeline.arc \
             as-big-semantics.png  as-main.png as-semantics.png \
             as-console.png as-relations.png as-validate.png as-graph.png \
             cmdmacro.tmpl Board.alt Board.props


if HAS_TEXI2PDF
arc_handbook_TEXINFOS = arc-handbook.texi ${EXTRA_TEXINFOS} ${EXTRA_DIST} cmdmacros.texi
endif

dvi:

if HAS_MAKEINFO
pkgdata_DATA=pages.idx ${CMDLINE_FILES}

#$(srcdir)/arc-handbook.info: cmdmacros.texi ${ARC_GENERATED_FILES}

all : default-preferences ${ARC} cmdmacros.texi ${pkgdata_DATA} 

echo-pkgdata: 
	@ echo ${pkgdata_DATA} 

.texi.txt: 
	${MAKEINFO} ${MAKEINFOFLAGS} --force --plaintext --fill-column=79 $< -o $@

.PHONY: ${GENERATED_HELP_FILES}
else
all :
endif

${CMDLINE_FILES} : cmdmacros.texi macros.texi
cmdmacros.texi : ${ARC} cmdmacro.tmpl
	(CMDS=$$(${ARCENV} ${ARC} -qbc 'list commands' | tr -d "-"); \
         for C in $${CMDS}; do \
           sed -e "s/@CMD@/$${C}/g" ${srcdir}/cmdmacro.tmpl; \
         done) > cmdmacros.texi


pages.texi: ${CMDLINE_HELP_FILES} ${GENERATED_HELP_FILES} 
	rm -f pages.texi 
	(echo "@c %page pages "; \
         echo "@c %title List of help pages"; \
	 for f in `ls ${CMDLINE_HELP_FILES:%=${srcdir}/%} ${GENERATED_HELP_FILES} | sort `; \
        do \
         IF=`basename $$f .texi`.txt; \
         MP=`grep "@c %page" $$f | sed -e 's/@c %page //g' -e 's/ *$$//g'`; \
         TI=`grep "@c %title" $$f | sed -e 's/@c %title //g' -e 's/ *$$//g'`; \
         for p in $$MP; do \
           echo "$$p :  $${TI}@*"; \
         done; \
        done; ) > pages.texi 

pages.idx : ${CMDLINE_HELP_FILES} ${GENERATED_HELP_FILES} 
	rm -f pages.idx
	for f in ${CMDLINE_HELP_FILES:%=${srcdir}/%} ${GENERATED_HELP_FILES}; \
        do \
         IF=`basename $$f .texi`.txt; \
         MP=`grep "@c %page" $$f | sed -e 's/@c %page //g' -e 's/ *$$//g'`; \
         TI=`grep "@c %title" $$f | sed -e 's/@c %title //g' -e 's/ *$$//g'`; \
         for p in $$MP; do \
           echo "$$p $$IF $$TI" >> pages.idx ; \
         done; \
        done

commands.texi : ${ARC}
	(echo "@c %page commands"; \
         echo "@c %title Command list"; \
         ${ARCENV} ${ARC} ${ARCOPTS} -qbc 'list commands' \
         ) > commands.texi

license.texi : ${top_srcdir}/COPYING
	(echo "@c %page license"; \
         echo "@c %title AltaRica Public License"; \
         echo "@verbatim"; \
         cat ${top_srcdir}/COPYING; \
         echo "@end verbatim") > license.texi

authors.texi : ${top_srcdir}/AUTHORS
	(echo "@c %page authors"; \
         echo "@c %title Authors and contributors of AltaRica Checker"; \
         echo "@verbatim"; \
	 cat ${top_srcdir}/AUTHORS; \
         echo "@end verbatim") > authors.texi

banner.texi : ${top_srcdir}/COPYING
	@ (echo "@c %page banner"; \
           echo "@c %title ARC banner"; \
           echo "@verbatim" ; \
           echo "${PACKAGE_STRING}" ; \
           grep "ARC -- Copyright" ${top_srcdir}/COPYING | sed -e 's/ARC -- //g' ; \
           echo "All rights reserved."; \
           echo "This software is distributed under AltaRica Public License (see COPYING file)." ; \
           echo ;\
           echo "Please report any bug to ${PACKAGE_BUGREPORT}" | sed -e 's/@/[at]/g'; \
           echo "or on project webpage http://altarica.labri.fr/"; \
           echo "@end verbatim" \
          ) > banner.texi

release-info.texi: banner.txt 
	@ (echo "@c %page version" ; \
           echo "@c %title Informations about ARC version." ; \
           echo "@verbatim"; \
           cat banner.txt; \
           if test -x ${top_builddir}/config.status; then \
              echo "Options passed to configure script:"; \
              for CF in `${top_builddir}/config.status --config`; do \
                  echo "  $$CF"; \
              done; \
           fi; \
           echo "Repository informations (Distribution): "; \
           if test -f ${top_srcdir}/dist.repinfo; then \
              cat ${top_srcdir}/dist.repinfo; \
           else \
              echo "none"; \
           fi; \
           echo "Current repository informations: "; \
	   ${SHELL} ${top_builddir}/repinfo.sh | sed 's/^/  /g'; \
           echo "Compilation informations: "; \
           echo "  Platform: ${build}"; \
           echo "  Date: `date`"; \
	   echo "  Flags:"; \
	   echo "    CFLAGS=${CFLAGS}"; \
	   echo "    LDFLAGS=${LDFLAGS}"; \
	   echo "    CPPFLAGS=${CPPFLAGS}"; \
	   echo "    LIBS=${LIBS}";\
           echo "@end verbatim"; \
           ) > release-info.texi

arc-handbook.pdf cuts-cmd.txt target-reduction-cmd.txt : ${ARC_GENERATED_FILES}


pipeline.goal pipeline.reduced.alt : pipeline.alt.php pipeline.arc ${ARC} 
	${ARCENV} ${ARC} ${ARCOPTS} -qb ${srcdir}/pipeline.arc > pipeline.reduced.alt

cuts-example-1.res : cuts-example.alt ${ARC} 
	${ARCENV} ${ARC} ${ARCOPTS} -C ${srcdir} -qb cuts-example.alt -c 'cuts Counter "count>=3"' > cuts-example-1.res

cuts-example-2.res : cuts-example.alt ${ARC} 
	${ARCENV} ${ARC} ${ARCOPTS} -C ${srcdir} -qb cuts-example.alt -c 'cuts --visible-tags=attr1,attr2 Counter "count>=3"' > cuts-example-2.res

cuts-example-3.res : cuts-example.alt ${ARC} 
	${ARCENV} ${ARC} ${ARCOPTS} -C ${srcdir} -qb cuts-example.alt -c 'cuts --visible-tags=attr2 Counter "count>=3"' > cuts-example-3.res

cuts-example-4.res : cuts-example.alt ${ARC} 
	${ARCENV} ${ARC} ${ARCOPTS} -C ${srcdir} -qb cuts-example.alt -c 'cuts --visible-tags=attr2 --disabled-tags=attr1 Counter "count>=3"' > cuts-example-4.res

cuts-example-5.res : cuts-example.alt ${ARC} 
	${ARCENV} ${ARC} ${ARCOPTS} -C ${srcdir} -qb cuts-example.alt -c 'sequences --enum --visible-tags=attr1,attr2 --order=3 Counter "count>=3"' > cuts-example-5.res

cuts-example-6.res : cuts-example.alt ${ARC} 
	${ARCENV} ${ARC} ${ARCOPTS} -C ${srcdir} -qb cuts-example.alt -c 'sequences --visible-tags=attr1,attr2 --enum --order=3 --min Counter "count>=3"' > cuts-example-6.res

${top_builddir}/src/default-preferences ${ARC} : 
	${MAKE} -C ${top_builddir}

default-preferences : ${top_builddir}/src/default-preferences 
	${MAKE} -C ${top_builddir}/src default-preferences 
	cp ${top_builddir}/src/default-preferences .