# Makefile.in generated by automake 1.11.1 from Makefile.am. # @configure_input@ # Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, # 2003, 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation, # Inc. # This Makefile.in is free software; the Free Software Foundation # gives unlimited permission to copy and/or distribute it, # with or without modifications, as long as this notice is preserved. # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY, to the extent permitted by law; without # even the implied warranty of MERCHANTABILITY or FITNESS FOR A # PARTICULAR PURPOSE. @SET_MAKE@ # Automake source file for the Parma Polyhedra Library. # Copyright (C) 2001-2010 Roberto Bagnara # Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) # # This file is part of the Parma Polyhedra Library (PPL). # # The PPL is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by the # Free Software Foundation; either version 3 of the License, or (at your # option) any later version. # # The PPL is distributed in the hope that it will be useful, but WITHOUT # ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or # FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License # for more details. # # You should have received a copy of the GNU General Public License # along with this program; if not, write to the Free Software Foundation, # Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. # # For the most up-to-date information see the Parma Polyhedra Library # site: http://www.cs.unipr.it/ppl/ . VPATH = @srcdir@ pkgdatadir = $(datadir)/@PACKAGE@ pkgincludedir = $(includedir)/@PACKAGE@ pkglibdir = $(libdir)/@PACKAGE@ pkglibexecdir = $(libexecdir)/@PACKAGE@ am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd install_sh_DATA = $(install_sh) -c -m 644 install_sh_PROGRAM = $(install_sh) -c install_sh_SCRIPT = $(install_sh) -c INSTALL_HEADER = $(INSTALL_DATA) transform = $(program_transform_name) NORMAL_INSTALL = : PRE_INSTALL = : POST_INSTALL = : NORMAL_UNINSTALL = : PRE_UNINSTALL = : POST_UNINSTALL = : build_triplet = @build@ host_triplet = @host@ subdir = doc DIST_COMMON = $(dist_man_MANS) $(srcdir)/Makefile.am \ $(srcdir)/Makefile.in \ $(srcdir)/devref-language-interface.doxyconf.in \ $(srcdir)/devref.doxyconf-html.in \ $(srcdir)/devref.doxyconf-latex.in \ $(srcdir)/user-language-interface.doxyconf.in \ $(srcdir)/user.doxyconf-html.in \ $(srcdir)/user.doxyconf-latex.in ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 am__aclocal_m4_deps = $(top_srcdir)/m4/ac_check_ciao.m4 \ $(top_srcdir)/m4/ac_check_fpu_control.m4 \ $(top_srcdir)/m4/ac_check_gmp.m4 \ $(top_srcdir)/m4/ac_check_sicstus_prolog.m4 \ $(top_srcdir)/m4/ac_check_swi_prolog.m4 \ $(top_srcdir)/m4/ac_check_xsb_prolog.m4 \ $(top_srcdir)/m4/ac_check_yap.m4 \ $(top_srcdir)/m4/ac_cxx_attribute_weak.m4 \ $(top_srcdir)/m4/ac_cxx_double_binary_format.m4 \ $(top_srcdir)/m4/ac_cxx_double_exact_output.m4 \ $(top_srcdir)/m4/ac_cxx_flexible_arrays.m4 \ $(top_srcdir)/m4/ac_cxx_float_binary_format.m4 \ $(top_srcdir)/m4/ac_cxx_float_exact_output.m4 \ $(top_srcdir)/m4/ac_cxx_ieee_inexact_flag.m4 \ $(top_srcdir)/m4/ac_cxx_limit_memory.m4 \ $(top_srcdir)/m4/ac_cxx_long_double_binary_format.m4 \ $(top_srcdir)/m4/ac_cxx_long_double_exact_output.m4 \ $(top_srcdir)/m4/ac_cxx_plain_char_is_signed.m4 \ $(top_srcdir)/m4/ac_cxx_proper_long_double.m4 \ $(top_srcdir)/m4/ac_cxx_remainder_bug.m4 \ $(top_srcdir)/m4/ac_prog_jar.m4 \ $(top_srcdir)/m4/ac_prog_java.m4 \ $(top_srcdir)/m4/ac_prog_javac.m4 \ $(top_srcdir)/m4/ac_prog_javah.m4 \ $(top_srcdir)/m4/ac_text_md5sum.m4 $(top_srcdir)/m4/lib-ld.m4 \ $(top_srcdir)/m4/lib-link.m4 $(top_srcdir)/m4/lib-prefix.m4 \ $(top_srcdir)/m4/libtool.m4 $(top_srcdir)/m4/ltoptions.m4 \ $(top_srcdir)/m4/ltsugar.m4 $(top_srcdir)/m4/ltversion.m4 \ $(top_srcdir)/m4/lt~obsolete.m4 $(top_srcdir)/m4/m4.m4 \ $(top_srcdir)/m4/ocaml.m4 $(top_srcdir)/configure.ac am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \ $(ACLOCAL_M4) mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs CONFIG_HEADER = $(top_builddir)/config.h CONFIG_CLEAN_FILES = user.doxyconf-latex devref.doxyconf-latex \ user.doxyconf-html devref.doxyconf-html \ user-language-interface.doxyconf \ devref-language-interface.doxyconf CONFIG_CLEAN_VPATH_FILES = AM_V_GEN = $(am__v_GEN_$(V)) am__v_GEN_ = $(am__v_GEN_$(AM_DEFAULT_VERBOSITY)) am__v_GEN_0 = @echo " GEN " $@; AM_V_at = $(am__v_at_$(V)) am__v_at_ = $(am__v_at_$(AM_DEFAULT_VERBOSITY)) am__v_at_0 = @ SOURCES = DIST_SOURCES = am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; am__vpath_adj = case $$p in \ $(srcdir)/*) f=`echo "$$p" | sed "s|^$$srcdirstrip/||"`;; \ *) f=$$p;; \ esac; am__strip_dir = f=`echo $$p | sed -e 's|^.*/||'`; am__install_max = 40 am__nobase_strip_setup = \ srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*|]/\\\\&/g'` am__nobase_strip = \ for p in $$list; do echo "$$p"; done | sed -e "s|$$srcdirstrip/||" am__nobase_list = $(am__nobase_strip_setup); \ for p in $$list; do echo "$$p $$p"; done | \ sed "s| $$srcdirstrip/| |;"' / .*\//!s/ .*/ ./; s,\( .*\)/[^/]*$$,\1,' | \ $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \ if (++n[$$2] == $(am__install_max)) \ { print $$2, files[$$2]; n[$$2] = 0; files[$$2] = "" } } \ END { for (dir in files) print dir, files[dir] }' am__base_list = \ sed '$$!N;$$!N;$$!N;$$!N;$$!N;$$!N;$$!N;s/\n/ /g' | \ sed '$$!N;$$!N;$$!N;$$!N;s/\n/ /g' man1dir = $(mandir)/man1 am__installdirs = "$(DESTDIR)$(man1dir)" "$(DESTDIR)$(man3dir)" man3dir = $(mandir)/man3 NROFF = nroff MANS = $(dist_man_MANS) DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST) ACLOCAL = @ACLOCAL@ AMTAR = @AMTAR@ AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@ AR = @AR@ AUTOCONF = @AUTOCONF@ AUTOHEADER = @AUTOHEADER@ AUTOMAKE = @AUTOMAKE@ AWK = @AWK@ CC = @CC@ CCDEPMODE = @CCDEPMODE@ CFLAGS = @CFLAGS@ CIAO_PROLOG = @CIAO_PROLOG@ CIAO_PROLOG_INCLUDE_OPTIONS = @CIAO_PROLOG_INCLUDE_OPTIONS@ CONFIGURE_OPTIONS = @CONFIGURE_OPTIONS@ CPP = @CPP@ CPPFLAGS = @CPPFLAGS@ CXX = @CXX@ CXXCPP = @CXXCPP@ CXXDEPMODE = @CXXDEPMODE@ CXXFLAGS = @CXXFLAGS@ CYGPATH_W = @CYGPATH_W@ DEFS = @DEFS@ DEPDIR = @DEPDIR@ DSYMUTIL = @DSYMUTIL@ DUMPBIN = @DUMPBIN@ ECHO_C = @ECHO_C@ ECHO_N = @ECHO_N@ ECHO_T = @ECHO_T@ EGREP = @EGREP@ EXEEXT = @EXEEXT@ FGREP = @FGREP@ GNU_PROLOG = @GNU_PROLOG@ GREP = @GREP@ INSTALL = @INSTALL@ INSTALL_DATA = @INSTALL_DATA@ INSTALL_PROGRAM = @INSTALL_PROGRAM@ INSTALL_SCRIPT = @INSTALL_SCRIPT@ INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@ ISODATE = @ISODATE@ JAR = @JAR@ JAVA = @JAVA@ JAVAC = @JAVAC@ JAVAH = @JAVAH@ JNIFLAGS = @JNIFLAGS@ LD = @LD@ LDFLAGS = @LDFLAGS@ LIBEXT = @LIBEXT@ LIBGMP = @LIBGMP@ LIBGMPXX = @LIBGMPXX@ LIBGMPXX_PREFIX = @LIBGMPXX_PREFIX@ LIBGMP_PREFIX = @LIBGMP_PREFIX@ LIBOBJS = @LIBOBJS@ LIBS = @LIBS@ LIBTOOL = @LIBTOOL@ LIPO = @LIPO@ LN_S = @LN_S@ LTLIBGMP = @LTLIBGMP@ LTLIBGMPXX = @LTLIBGMPXX@ LTLIBOBJS = @LTLIBOBJS@ M4 = @M4@ M4_DEBUGFILE = @M4_DEBUGFILE@ MAKEINFO = @MAKEINFO@ MD5SUM = @MD5SUM@ MKDIR_P = @MKDIR_P@ NM = @NM@ NMEDIT = @NMEDIT@ OBJDUMP = @OBJDUMP@ OBJEXT = @OBJEXT@ OCAMLBEST = @OCAMLBEST@ OCAMLBUILD = @OCAMLBUILD@ OCAMLC = @OCAMLC@ OCAMLCDOTOPT = @OCAMLCDOTOPT@ OCAMLDEP = @OCAMLDEP@ OCAMLDOC = @OCAMLDOC@ OCAMLLIB = @OCAMLLIB@ OCAMLMKLIB = @OCAMLMKLIB@ OCAMLMKTOP = @OCAMLMKTOP@ OCAMLOPT = @OCAMLOPT@ OCAMLOPTDOTOPT = @OCAMLOPTDOTOPT@ OCAMLVERSION = @OCAMLVERSION@ OTOOL = @OTOOL@ OTOOL64 = @OTOOL64@ PACKAGE = @PACKAGE@ PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@ PACKAGE_NAME = @PACKAGE_NAME@ PACKAGE_STRING = @PACKAGE_STRING@ PACKAGE_TARNAME = @PACKAGE_TARNAME@ PACKAGE_URL = @PACKAGE_URL@ PACKAGE_VERSION = @PACKAGE_VERSION@ PATH_SEPARATOR = @PATH_SEPARATOR@ PERL = @PERL@ PPL_VERSION_BETA = @PPL_VERSION_BETA@ PPL_VERSION_MAJOR = @PPL_VERSION_MAJOR@ PPL_VERSION_MINOR = @PPL_VERSION_MINOR@ PPL_VERSION_REVISION = @PPL_VERSION_REVISION@ RANLIB = @RANLIB@ SED = @SED@ SET_MAKE = @SET_MAKE@ SHELL = @SHELL@ SHREXT = @SHREXT@ SICSTUS_PROLOG_INCLUDE_OPTIONS = @SICSTUS_PROLOG_INCLUDE_OPTIONS@ STRIP = @STRIP@ SWI_PROLOG = @SWI_PROLOG@ SWI_PROLOG_INCLUDE_OPTIONS = @SWI_PROLOG_INCLUDE_OPTIONS@ SWI_PROLOG_LD = @SWI_PROLOG_LD@ SWI_PROLOG_LD_OPTIONS = @SWI_PROLOG_LD_OPTIONS@ TEXT_MD5SUM = @TEXT_MD5SUM@ VALGRIND = @VALGRIND@ VERSION = @VERSION@ XSB_PROLOG_INCLUDE_OPTIONS = @XSB_PROLOG_INCLUDE_OPTIONS@ YAP_PROLOG = @YAP_PROLOG@ YAP_PROLOG_INCLUDE_OPTIONS = @YAP_PROLOG_INCLUDE_OPTIONS@ YAP_PROLOG_LD_OPTIONS = @YAP_PROLOG_LD_OPTIONS@ abs_builddir = @abs_builddir@ abs_srcdir = @abs_srcdir@ abs_top_builddir = @abs_top_builddir@ abs_top_srcdir = @abs_top_srcdir@ ac_ct_CC = @ac_ct_CC@ ac_ct_CXX = @ac_ct_CXX@ ac_ct_DUMPBIN = @ac_ct_DUMPBIN@ am__include = @am__include@ am__leading_dot = @am__leading_dot@ am__quote = @am__quote@ am__tar = @am__tar@ am__untar = @am__untar@ bindir = @bindir@ build = @build@ build_alias = @build_alias@ build_cpu = @build_cpu@ build_os = @build_os@ build_vendor = @build_vendor@ builddir = @builddir@ ciao_prolog = @ciao_prolog@ coefficient_mnemonic = @coefficient_mnemonic@ datadir = @datadir@ datarootdir = @datarootdir@ debug_flag = @debug_flag@ # All the documentation in docdir. docdir = @docdir@ dvidir = @dvidir@ exec_prefix = @exec_prefix@ extra_includes = @extra_includes@ extra_libraries = @extra_libraries@ host = @host@ host_alias = @host_alias@ host_cpu = @host_cpu@ host_os = @host_os@ host_vendor = @host_vendor@ htmldir = $(docdir) includedir = @includedir@ infodir = @infodir@ install_sh = @install_sh@ libdir = @libdir@ libexecdir = @libexecdir@ localedir = @localedir@ localstatedir = @localstatedir@ mandir = @mandir@ mkdir_p = @mkdir_p@ mlgmp_dir = @mlgmp_dir@ oldincludedir = @oldincludedir@ pdfdir = $(docdir) prefix = @prefix@ program_transform_name = @program_transform_name@ psdir = $(docdir) required_instantiations = @required_instantiations@ required_instantiations_c_cxx_headers = @required_instantiations_c_cxx_headers@ required_instantiations_c_cxx_objects = @required_instantiations_c_cxx_objects@ required_instantiations_c_cxx_sources = @required_instantiations_c_cxx_sources@ required_instantiations_canonical_names = @required_instantiations_canonical_names@ required_instantiations_java_classes = @required_instantiations_java_classes@ required_instantiations_java_cxx_headers = @required_instantiations_java_cxx_headers@ required_instantiations_java_cxx_headers_sources = @required_instantiations_java_cxx_headers_sources@ required_instantiations_java_cxx_objects = @required_instantiations_java_cxx_objects@ required_instantiations_java_cxx_sources = @required_instantiations_java_cxx_sources@ required_instantiations_java_sources = @required_instantiations_java_sources@ required_instantiations_ocaml_cxx_headers = @required_instantiations_ocaml_cxx_headers@ required_instantiations_ocaml_cxx_objects = @required_instantiations_ocaml_cxx_objects@ required_instantiations_ocaml_cxx_sources = @required_instantiations_ocaml_cxx_sources@ required_instantiations_prolog_cxx_headers = @required_instantiations_prolog_cxx_headers@ required_instantiations_prolog_cxx_objects = @required_instantiations_prolog_cxx_objects@ required_instantiations_prolog_cxx_sources = @required_instantiations_prolog_cxx_sources@ required_instantiations_prolog_generated_test_sources = @required_instantiations_prolog_generated_test_sources@ sbindir = @sbindir@ sharedstatedir = @sharedstatedir@ sicstus_prolog = @sicstus_prolog@ srcdir = @srcdir@ subdirs = @subdirs@ swi_prolog = @swi_prolog@ swi_prolog_ld = @swi_prolog_ld@ sysconfdir = @sysconfdir@ target_alias = @target_alias@ top_build_prefix = @top_build_prefix@ top_builddir = @top_builddir@ top_srcdir = @top_srcdir@ uudecode = @uudecode@ xsb_prolog = @xsb_prolog@ yap_prolog = @yap_prolog@ txtdir = $(docdir) DOXYGEN = doxygen INSTALLDOX = ./installdox -q PDF_LICENSES = \ gpl.pdf \ fdl.pdf PS_LICENSES = \ gpl.ps.gz \ fdl.ps.gz TXT_LICENSES = \ gpl.txt \ fdl.txt LICENSES = \ $(PDF_LICENSES) \ $(TXT_LICENSES) \ $(PS_LICENSES) ##### Library Core Manuals (C++ Interface) ##### USER_CORE_HTML_MANUAL = ppl-user-@VERSION@-html.tar.gz DEVREF_CORE_HTML_MANUAL = ppl-devref-@VERSION@-html.tar.gz USER_CORE_PDF_MANUAL = ppl-user-@VERSION@.pdf DEVREF_CORE_PDF_MANUAL = ppl-devref-@VERSION@.pdf USER_CORE_PS_MANUAL = ppl-user-@VERSION@.ps.gz DEVREF_CORE_PS_MANUAL = ppl-devref-@VERSION@.ps.gz USER_CORE_HTML_DIR = ppl-user-@VERSION@-html DEVREF_CORE_HTML_DIR = ppl-devref-@VERSION@-html DOX_LICENCE_FILES = \ gpl.dox \ fdl.dox DOX_FILES = \ $(DOX_LICENCE_FILES) \ definitions.dox USER_CORE_STUFF = \ $(DOX_FILES) \ user.tex \ ppl.sty \ ../src/ppl_header.hh ../src/ppl_include_files.hh DEVREF_CORE_STUFF = \ $(DOX_FILES) \ devref.tex \ ppl.sty \ $(PPL_SOURCE_FILES) # C Language Interface Manuals @BUILD_C_INTERFACE_TRUE@USER_C_INTERFACE_HTML_MANUAL = \ @BUILD_C_INTERFACE_TRUE@ppl-user-c-interface-@VERSION@-html.tar.gz @BUILD_C_INTERFACE_TRUE@DEVREF_C_INTERFACE_HTML_MANUAL = \ @BUILD_C_INTERFACE_TRUE@ppl-devref-c-interface-@VERSION@-html.tar.gz @BUILD_C_INTERFACE_TRUE@USER_C_INTERFACE_PDF_MANUAL = \ @BUILD_C_INTERFACE_TRUE@ppl-user-c-interface-@VERSION@.pdf @BUILD_C_INTERFACE_TRUE@DEVREF_C_INTERFACE_PDF_MANUAL = \ @BUILD_C_INTERFACE_TRUE@ppl-devref-c-interface-@VERSION@.pdf @BUILD_C_INTERFACE_TRUE@USER_C_INTERFACE_PS_MANUAL = \ @BUILD_C_INTERFACE_TRUE@ppl-user-c-interface-@VERSION@.ps.gz @BUILD_C_INTERFACE_TRUE@DEVREF_C_INTERFACE_PS_MANUAL = \ @BUILD_C_INTERFACE_TRUE@ppl-devref-c-interface-@VERSION@.ps.gz @BUILD_C_INTERFACE_TRUE@USER_C_INTERFACE_HTML_DIR = \ @BUILD_C_INTERFACE_TRUE@ppl-user-c-interface-@VERSION@-html @BUILD_C_INTERFACE_TRUE@DEVREF_C_INTERFACE_HTML_DIR = \ @BUILD_C_INTERFACE_TRUE@ppl-devref-c-interface-@VERSION@-html @BUILD_C_INTERFACE_TRUE@COMMON_C_INTERFACE_STUFF = \ @BUILD_C_INTERFACE_TRUE@$(DOX_LICENCE_FILES) \ @BUILD_C_INTERFACE_TRUE@ppl.sty \ @BUILD_C_INTERFACE_TRUE@../configure.ac \ @BUILD_C_INTERFACE_TRUE@../interfaces/C/ppl_c_version.h.in \ @BUILD_C_INTERFACE_TRUE@../interfaces/C/ppl_c_header.h \ @BUILD_C_INTERFACE_TRUE@../interfaces/C/C_interface.dox @BUILD_C_INTERFACE_TRUE@USER_C_INTERFACE_STUFF = \ @BUILD_C_INTERFACE_TRUE@$(COMMON_C_INTERFACE_STUFF) \ @BUILD_C_INTERFACE_TRUE@user-language-interface.tex @BUILD_C_INTERFACE_TRUE@DEVREF_C_INTERFACE_STUFF = \ @BUILD_C_INTERFACE_TRUE@$(COMMON_C_INTERFACE_STUFF) \ @BUILD_C_INTERFACE_TRUE@devref-language-interface.tex \ @BUILD_C_INTERFACE_TRUE@../interfaces/C/ppl_c_implementation_common.defs.hh \ @BUILD_C_INTERFACE_TRUE@../interfaces/C/ppl_c_implementation_common.inlines.hh \ @BUILD_C_INTERFACE_TRUE@../interfaces/C/ppl_c_implementation_common.cc # Configuration Dependent C Language Interface Manuals. @BUILD_C_INTERFACE_TRUE@USER_CONFIGURED_C_INTERFACE_HTML_MANUAL = \ @BUILD_C_INTERFACE_TRUE@ppl-user-configured-c-interface-@VERSION@-html.tar.gz @BUILD_C_INTERFACE_TRUE@DEVREF_CONFIGURED_C_INTERFACE_HTML_MANUAL = \ @BUILD_C_INTERFACE_TRUE@ppl-devref-configured-c-interface-@VERSION@-html.tar.gz @BUILD_C_INTERFACE_TRUE@USER_CONFIGURED_C_INTERFACE_PDF_MANUAL = \ @BUILD_C_INTERFACE_TRUE@ppl-user-configured-c-interface-@VERSION@.pdf @BUILD_C_INTERFACE_TRUE@DEVREF_CONFIGURED_C_INTERFACE_PDF_MANUAL = \ @BUILD_C_INTERFACE_TRUE@ppl-devref-configured-c-interface-@VERSION@.pdf @BUILD_C_INTERFACE_TRUE@USER_CONFIGURED_C_INTERFACE_PS_MANUAL = \ @BUILD_C_INTERFACE_TRUE@ppl-user-configured-c-interface-@VERSION@.ps.gz @BUILD_C_INTERFACE_TRUE@DEVREF_CONFIGURED_C_INTERFACE_PS_MANUAL = \ @BUILD_C_INTERFACE_TRUE@ppl-devref-configured-c-interface-@VERSION@.ps.gz @BUILD_C_INTERFACE_TRUE@USER_CONFIGURED_C_INTERFACE_HTML_DIR = \ @BUILD_C_INTERFACE_TRUE@ppl-user-configured-c-interface-@VERSION@-html @BUILD_C_INTERFACE_TRUE@DEVREF_CONFIGURED_C_INTERFACE_HTML_DIR = \ @BUILD_C_INTERFACE_TRUE@ppl-devref-configured-c-interface-@VERSION@-html @BUILD_C_INTERFACE_TRUE@USER_CONFIGURED_C_INTERFACE_STUFF = \ @BUILD_C_INTERFACE_TRUE@$(COMMON_C_INTERFACE_STUFF) \ @BUILD_C_INTERFACE_TRUE@$(top_builddir)/interfaces/C/ppl_c.h @BUILD_C_INTERFACE_TRUE@DEVREF_CONFIGURED_C_INTERFACE_STUFF = \ @BUILD_C_INTERFACE_TRUE@$(COMMON_C_INTERFACE_STUFF) \ @BUILD_C_INTERFACE_TRUE@$(top_builddir)/interfaces/C/ppl_c.h \ @BUILD_C_INTERFACE_TRUE@../interfaces/C/ppl_c_implementation_common.defs.hh \ @BUILD_C_INTERFACE_TRUE@../interfaces/C/ppl_c_implementation_common.inlines.hh \ @BUILD_C_INTERFACE_TRUE@../interfaces/C/ppl_c_implementation_common.cc # Prolog Language Interface Manuals @BUILD_SOME_PROLOG_INTERFACES_TRUE@USER_PROLOG_INTERFACE_HTML_MANUAL = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-user-prolog-interface-@VERSION@-html.tar.gz @BUILD_SOME_PROLOG_INTERFACES_TRUE@DEVREF_PROLOG_INTERFACE_HTML_MANUAL = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-devref-prolog-interface-@VERSION@-html.tar.gz @BUILD_SOME_PROLOG_INTERFACES_TRUE@USER_PROLOG_INTERFACE_PDF_MANUAL = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-user-prolog-interface-@VERSION@.pdf @BUILD_SOME_PROLOG_INTERFACES_TRUE@DEVREF_PROLOG_INTERFACE_PDF_MANUAL = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-devref-prolog-interface-@VERSION@.pdf @BUILD_SOME_PROLOG_INTERFACES_TRUE@USER_PROLOG_INTERFACE_PS_MANUAL = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-user-prolog-interface-@VERSION@.ps.gz @BUILD_SOME_PROLOG_INTERFACES_TRUE@DEVREF_PROLOG_INTERFACE_PS_MANUAL = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-devref-prolog-interface-@VERSION@.ps.gz @BUILD_SOME_PROLOG_INTERFACES_TRUE@USER_PROLOG_INTERFACE_HTML_DIR = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-user-prolog-interface-@VERSION@-html @BUILD_SOME_PROLOG_INTERFACES_TRUE@DEVREF_PROLOG_INTERFACE_HTML_DIR = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-devref-prolog-interface-@VERSION@-html @BUILD_SOME_PROLOG_INTERFACES_TRUE@USER_PROLOG_INTERFACE_STUFF = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(DOX_LICENCE_FILES) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@user-language-interface.tex \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl.sty \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/Prolog_interface.dox @BUILD_SOME_PROLOG_INTERFACES_TRUE@DEVREF_PROLOG_INTERFACE_STUFF = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(DOX_LICENCE_FILES) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@devref-language-interface.tex \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl.sty \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/Prolog_interface.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/ppl_prolog_common.defs.hh \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/ppl_prolog_common.inlines.hh \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/ppl_prolog_common.cc # Configuration Dependent Prolog Language Interface Manuals @BUILD_SOME_PROLOG_INTERFACES_TRUE@USER_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-user-configured-prolog-interface-@VERSION@-html.tar.gz @BUILD_SOME_PROLOG_INTERFACES_TRUE@DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-devref-configured-prolog-interface-@VERSION@-html.tar.gz @BUILD_SOME_PROLOG_INTERFACES_TRUE@USER_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-user-configured-prolog-interface-@VERSION@.pdf @BUILD_SOME_PROLOG_INTERFACES_TRUE@DEVREF_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-devref-configured-prolog-interface-@VERSION@.pdf @BUILD_SOME_PROLOG_INTERFACES_TRUE@USER_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-user-configured-prolog-interface-@VERSION@.ps.gz @BUILD_SOME_PROLOG_INTERFACES_TRUE@DEVREF_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-devref-configured-prolog-interface-@VERSION@.ps.gz @BUILD_SOME_PROLOG_INTERFACES_TRUE@USER_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-user-configured-prolog-interface-@VERSION@-html @BUILD_SOME_PROLOG_INTERFACES_TRUE@DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-devref-configured-prolog-interface-@VERSION@-html @BUILD_SOME_PROLOG_INTERFACES_TRUE@USER_CONFIGURED_PROLOG_INTERFACE_STUFF = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(DOX_LICENCE_FILES) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@user-language-interface.tex \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl.sty \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox @BUILD_SOME_PROLOG_INTERFACES_TRUE@DEVREF_CONFIGURED_PROLOG_INTERFACE_STUFF = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(DOX_LICENCE_FILES) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@devref-language-interface.tex \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl.sty \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/ppl_prolog_common.defs.hh \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/ppl_prolog_common.inlines.hh \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/ppl_prolog_common.cc \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.hh \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.cc.stamp # OCaml Language Interface Manuals @BUILD_OCAML_INTERFACE_TRUE@USER_OCAML_INTERFACE_HTML_MANUAL = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-user-ocaml-interface-@VERSION@-html.tar.gz @BUILD_OCAML_INTERFACE_TRUE@DEVREF_OCAML_INTERFACE_HTML_MANUAL = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-devref-ocaml-interface-@VERSION@-html.tar.gz @BUILD_OCAML_INTERFACE_TRUE@USER_OCAML_INTERFACE_PDF_MANUAL = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-user-ocaml-interface-@VERSION@.pdf @BUILD_OCAML_INTERFACE_TRUE@DEVREF_OCAML_INTERFACE_PDF_MANUAL = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-devref-ocaml-interface-@VERSION@.pdf @BUILD_OCAML_INTERFACE_TRUE@USER_OCAML_INTERFACE_PS_MANUAL = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-user-ocaml-interface-@VERSION@.ps.gz @BUILD_OCAML_INTERFACE_TRUE@DEVREF_OCAML_INTERFACE_PS_MANUAL = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-devref-ocaml-interface-@VERSION@.ps.gz @BUILD_OCAML_INTERFACE_TRUE@USER_OCAML_INTERFACE_HTML_DIR = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-user-ocaml-interface-@VERSION@-html @BUILD_OCAML_INTERFACE_TRUE@DEVREF_OCAML_INTERFACE_HTML_DIR = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-devref-ocaml-interface-@VERSION@-html @BUILD_OCAML_INTERFACE_TRUE@USER_OCAML_INTERFACE_STUFF = \ @BUILD_OCAML_INTERFACE_TRUE@$(DOX_LICENCE_FILES) \ @BUILD_OCAML_INTERFACE_TRUE@user-language-interface.tex \ @BUILD_OCAML_INTERFACE_TRUE@ppl.sty \ @BUILD_OCAML_INTERFACE_TRUE@../interfaces/OCaml/OCaml_interface.dox \ @BUILD_OCAML_INTERFACE_TRUE@../interfaces/OCaml/ppl_ocaml_globals.mli @BUILD_OCAML_INTERFACE_TRUE@DEVREF_OCAML_INTERFACE_STUFF = \ @BUILD_OCAML_INTERFACE_TRUE@$(DOX_LICENCE_FILES) \ @BUILD_OCAML_INTERFACE_TRUE@devref-language-interface.tex \ @BUILD_OCAML_INTERFACE_TRUE@ppl.sty \ @BUILD_OCAML_INTERFACE_TRUE@../interfaces/OCaml/OCaml_interface.dox \ @BUILD_OCAML_INTERFACE_TRUE@../interfaces/OCaml/ppl_ocaml_common.defs.hh \ @BUILD_OCAML_INTERFACE_TRUE@../interfaces/OCaml/ppl_ocaml_common.inlines.hh \ @BUILD_OCAML_INTERFACE_TRUE@../interfaces/OCaml/ppl_ocaml_common.cc \ @BUILD_OCAML_INTERFACE_TRUE@../interfaces/OCaml/ppl_ocaml_globals.mli # Configuration Dependent OCaml Language Interface Manuals. @BUILD_OCAML_INTERFACE_TRUE@USER_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-user-configured-ocaml-interface-@VERSION@-html.tar.gz @BUILD_OCAML_INTERFACE_TRUE@DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-devref-configured-ocaml-interface-@VERSION@-html.tar.gz @BUILD_OCAML_INTERFACE_TRUE@USER_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-user-configured-ocaml-interface-@VERSION@.pdf @BUILD_OCAML_INTERFACE_TRUE@DEVREF_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-devref-configured-ocaml-interface-@VERSION@.pdf @BUILD_OCAML_INTERFACE_TRUE@USER_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-user-configured-ocaml-interface-@VERSION@.ps.gz @BUILD_OCAML_INTERFACE_TRUE@DEVREF_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-devref-configured-ocaml-interface-@VERSION@.ps.gz @BUILD_OCAML_INTERFACE_TRUE@USER_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-user-configured-ocaml-interface-@VERSION@-html @BUILD_OCAML_INTERFACE_TRUE@DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \ @BUILD_OCAML_INTERFACE_TRUE@ppl-devref-configured-ocaml-interface-@VERSION@-html @BUILD_OCAML_INTERFACE_TRUE@USER_CONFIGURED_OCAML_INTERFACE_STUFF = \ @BUILD_OCAML_INTERFACE_TRUE@$(USER_OCAML_INTERFACE_STUFF) \ @BUILD_OCAML_INTERFACE_TRUE@$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli @BUILD_OCAML_INTERFACE_TRUE@DEVREF_CONFIGURED_OCAML_INTERFACE_STUFF = \ @BUILD_OCAML_INTERFACE_TRUE@$(DEVREF_OCAML_INTERFACE_STUFF) \ @BUILD_OCAML_INTERFACE_TRUE@$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli # Java Language Interface Manuals @BUILD_JAVA_INTERFACE_TRUE@USER_JAVA_INTERFACE_HTML_MANUAL = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-user-java-interface-@VERSION@-html.tar.gz @BUILD_JAVA_INTERFACE_TRUE@DEVREF_JAVA_INTERFACE_HTML_MANUAL = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-devref-java-interface-@VERSION@-html.tar.gz @BUILD_JAVA_INTERFACE_TRUE@USER_JAVA_INTERFACE_PDF_MANUAL = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-user-java-interface-@VERSION@.pdf @BUILD_JAVA_INTERFACE_TRUE@DEVREF_JAVA_INTERFACE_PDF_MANUAL = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-devref-java-interface-@VERSION@.pdf @BUILD_JAVA_INTERFACE_TRUE@USER_JAVA_INTERFACE_PS_MANUAL = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-user-java-interface-@VERSION@.ps.gz @BUILD_JAVA_INTERFACE_TRUE@DEVREF_JAVA_INTERFACE_PS_MANUAL = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-devref-java-interface-@VERSION@.ps.gz @BUILD_JAVA_INTERFACE_TRUE@USER_JAVA_INTERFACE_HTML_DIR = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-user-java-interface-@VERSION@-html @BUILD_JAVA_INTERFACE_TRUE@DEVREF_JAVA_INTERFACE_HTML_DIR = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-devref-java-interface-@VERSION@-html @BUILD_JAVA_INTERFACE_TRUE@JAVA_INTERFACE_JAVA_FILES = \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Fake_Class_for_Doxygen.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/By_Reference.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Coefficient.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Complexity_Class.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Congruence.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Congruence_System.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Constraint.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Constraint_System.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Control_Parameter_Name.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Control_Parameter_Value.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Degenerate_Element.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Domain_Error_Exception.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Generator.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Generator_System.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Generator_Type.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Grid_Generator.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Grid_Generator_System.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Grid_Generator_Type.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Invalid_Argument_Exception.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Length_Error_Exception.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Linear_Expression_Coefficient.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Linear_Expression_Difference.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Linear_Expression.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Linear_Expression_Sum.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Linear_Expression_Times.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Linear_Expression_Unary_Minus.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Logic_Error_Exception.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/MIP_Problem.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/MIP_Problem_Status.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Optimization_Mode.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Overflow_Error_Exception.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Pair.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Partial_Function.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Poly_Con_Relation.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Poly_Gen_Relation.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/PPL_Object.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Relation_Symbol.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Variable.java \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library/Variables_Set.java @BUILD_JAVA_INTERFACE_TRUE@USER_JAVA_INTERFACE_STUFF = \ @BUILD_JAVA_INTERFACE_TRUE@$(DOX_LICENCE_FILES) \ @BUILD_JAVA_INTERFACE_TRUE@user-language-interface.tex \ @BUILD_JAVA_INTERFACE_TRUE@ppl.sty \ @BUILD_JAVA_INTERFACE_TRUE@$(JAVA_INTERFACE_JAVA_FILES) @BUILD_JAVA_INTERFACE_TRUE@DEVREF_JAVA_INTERFACE_STUFF = \ @BUILD_JAVA_INTERFACE_TRUE@$(DOX_LICENCE_FILES) \ @BUILD_JAVA_INTERFACE_TRUE@devref-language-interface.tex \ @BUILD_JAVA_INTERFACE_TRUE@ppl.sty \ @BUILD_JAVA_INTERFACE_TRUE@$(JAVA_INTERFACE_JAVA_FILES) \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/jni/ppl_java_common.cc \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/jni/ppl_java_common.defs.hh \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/jni/ppl_java_common.inlines.hh \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/jni/ppl_java_globals.cc # Configuration Dependent Java Language Interface Manuals. @BUILD_JAVA_INTERFACE_TRUE@USER_CONFIGURED_JAVA_INTERFACE_HTML_MANUAL = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-user-configured-java-interface-@VERSION@-html.tar.gz @BUILD_JAVA_INTERFACE_TRUE@DEVREF_CONFIGURED_JAVA_INTERFACE_HTML_MANUAL = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-devref-configured-java-interface-@VERSION@-html.tar.gz @BUILD_JAVA_INTERFACE_TRUE@USER_CONFIGURED_JAVA_INTERFACE_PDF_MANUAL = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-user-configured-java-interface-@VERSION@.pdf @BUILD_JAVA_INTERFACE_TRUE@DEVREF_CONFIGURED_JAVA_INTERFACE_PDF_MANUAL = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-devref-configured-java-interface-@VERSION@.pdf @BUILD_JAVA_INTERFACE_TRUE@USER_CONFIGURED_JAVA_INTERFACE_PS_MANUAL = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-user-configured-java-interface-@VERSION@.ps.gz @BUILD_JAVA_INTERFACE_TRUE@DEVREF_CONFIGURED_JAVA_INTERFACE_PS_MANUAL = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-devref-configured-java-interface-@VERSION@.ps.gz @BUILD_JAVA_INTERFACE_TRUE@USER_CONFIGURED_JAVA_INTERFACE_HTML_DIR = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-user-configured-java-interface-@VERSION@-html @BUILD_JAVA_INTERFACE_TRUE@DEVREF_CONFIGURED_JAVA_INTERFACE_HTML_DIR = \ @BUILD_JAVA_INTERFACE_TRUE@ppl-devref-configured-java-interface-@VERSION@-html @BUILD_JAVA_INTERFACE_TRUE@USER_CONFIGURED_JAVA_INTERFACE_STUFF = \ @BUILD_JAVA_INTERFACE_TRUE@$(USER_JAVA_INTERFACE_STUFF) @BUILD_JAVA_INTERFACE_TRUE@DEVREF_CONFIGURED_JAVA_INTERFACE_STUFF = \ @BUILD_JAVA_INTERFACE_TRUE@$(DEVREF_JAVA_INTERFACE_STUFF) ################################################################### # Grouping of dirs and manuals. USER_HTML_DIRS = \ $(USER_CORE_HTML_DIR) \ $(USER_C_INTERFACE_HTML_DIR) \ $(USER_PROLOG_INTERFACE_HTML_DIR) \ $(USER_OCAML_INTERFACE_HTML_DIR) \ $(USER_JAVA_INTERFACE_HTML_DIR) \ $(USER_CONFIGURED_C_INTERFACE_HTML_DIR) \ $(USER_CONFIGURED_PROLOG_INTERFACE_HTML_DIR) \ $(USER_CONFIGURED_OCAML_INTERFACE_HTML_DIR) \ $(USER_CONFIGURED_JAVA_INTERFACE_HTML_DIR) DEVREF_HTML_DIRS = \ $(DEVREF_CORE_HTML_DIR) \ $(DEVREF_C_INTERFACE_HTML_DIR) \ $(DEVREF_PROLOG_INTERFACE_HTML_DIR) \ $(DEVREF_OCAML_INTERFACE_HTML_DIR) \ $(DEVREF_JAVA_INTERFACE_HTML_DIR) \ $(DEVREF_CONFIGURED_C_INTERFACE_HTML_DIR) \ $(DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_DIR) \ $(DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_DIR) \ $(DEVREF_CONFIGURED_JAVA_INTERFACE_HTML_DIR) HTML_DIRS = $(USER_HTML_DIRS) $(DEVREF_HTML_DIRS) ##### Distributed documentation ##### DIST_HTML_DOCS = \ $(USER_CORE_HTML_MANUAL) \ $(USER_C_INTERFACE_HTML_MANUAL) \ $(USER_PROLOG_INTERFACE_HTML_MANUAL) \ $(USER_OCAML_INTERFACE_HTML_MANUAL) \ $(USER_JAVA_INTERFACE_HTML_MANUAL) DIST_PDF_DOCS = \ $(PDF_LICENSES) \ $(USER_CORE_PDF_MANUAL) \ $(USER_C_INTERFACE_PDF_MANUAL) \ $(USER_PROLOG_INTERFACE_PDF_MANUAL) \ $(USER_OCAML_INTERFACE_PDF_MANUAL) \ $(USER_JAVA_INTERFACE_PDF_MANUAL) DIST_PS_DOCS = \ $(PS_LICENSES) \ $(USER_CORE_PS_MANUAL) \ $(USER_C_INTERFACE_PS_MANUAL) \ $(USER_PROLOG_INTERFACE_PS_MANUAL) \ $(USER_OCAML_INTERFACE_PS_MANUAL) \ $(USER_JAVA_INTERFACE_PS_MANUAL) DIST_TXT_DOCS = \ $(TXT_LICENSES) DIST_DOCS = \ $(DIST_HTML_DOCS) \ $(DIST_PDF_DOCS) \ $(DIST_PS_DOCS) \ $(DIST_TXT_DOCS) NONDIST_MANUALS = \ $(USER_CONFIGURED_C_INTERFACE_HTML_MANUAL) \ $(USER_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL) \ $(USER_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL) \ $(USER_CONFIGURED_JAVA_INTERFACE_HTML_MANUAL) \ $(USER_CONFIGURED_C_INTERFACE_PDF_MANUAL) \ $(USER_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL) \ $(USER_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL) \ $(USER_CONFIGURED_JAVA_INTERFACE_PDF_MANUAL) \ $(USER_CONFIGURED_C_INTERFACE_PS_MANUAL) \ $(USER_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL) \ $(USER_CONFIGURED_OCAML_INTERFACE_PS_MANUAL) \ $(USER_CONFIGURED_JAVA_INTERFACE_PS_MANUAL) \ $(DEVREF_CORE_HTML_MANUAL) \ $(DEVREF_C_INTERFACE_HTML_MANUAL) \ $(DEVREF_PROLOG_INTERFACE_HTML_MANUAL) \ $(DEVREF_OCAML_INTERFACE_HTML_MANUAL) \ $(DEVREF_JAVA_INTERFACE_HTML_MANUAL) \ $(DEVREF_CORE_PDF_MANUAL) \ $(DEVREF_C_INTERFACE_PDF_MANUAL) \ $(DEVREF_PROLOG_INTERFACE_PDF_MANUAL) \ $(DEVREF_OCAML_INTERFACE_PDF_MANUAL) \ $(DEVREF_JAVA_INTERFACE_PDF_MANUAL) \ $(DEVREF_CORE_PS_MANUAL) \ $(DEVREF_C_INTERFACE_PS_MANUAL) \ $(DEVREF_PROLOG_INTERFACE_PS_MANUAL) \ $(DEVREF_OCAML_INTERFACE_PS_MANUAL) \ $(DEVREF_JAVA_INTERFACE_PS_MANUAL) \ $(DEVREF_CONFIGURED_C_INTERFACE_HTML_MANUAL) \ $(DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL) \ $(DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL) \ $(DEVREF_CONFIGURED_JAVA_INTERFACE_HTML_MANUAL) \ $(DEVREF_CONFIGURED_C_INTERFACE_PDF_MANUAL) \ $(DEVREF_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL) \ $(DEVREF_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL) \ $(DEVREF_CONFIGURED_JAVA_INTERFACE_PDF_MANUAL) \ $(DEVREF_CONFIGURED_C_INTERFACE_PS_MANUAL) \ $(DEVREF_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL) \ $(DEVREF_CONFIGURED_OCAML_INTERFACE_PS_MANUAL) \ $(DEVREF_CONFIGURED_JAVA_INTERFACE_PS_MANUAL) dist_man_MANS = \ libppl.3 \ libppl_c.3 \ ppl-config.1 # Installation: all the distributed *core* docs, as well as # the distributed docs for all the *enabled* language interfaces. @BUILD_C_INTERFACE_TRUE@INSTALL_C_INTERFACE_HTML_DOCS = $(USER_C_INTERFACE_HTML_MANUAL) @BUILD_C_INTERFACE_TRUE@INSTALL_C_INTERFACE_PDF_DOCS = $(USER_C_INTERFACE_PDF_MANUAL) @BUILD_C_INTERFACE_TRUE@INSTALL_C_INTERFACE_PS_DOCS = $(USER_C_INTERFACE_PS_MANUAL) @BUILD_JAVA_INTERFACE_TRUE@INSTALL_JAVA_INTERFACE_HTML_DOCS = $(USER_JAVA_INTERFACE_HTML_MANUAL) @BUILD_JAVA_INTERFACE_TRUE@INSTALL_JAVA_INTERFACE_PDF_DOCS = $(USER_JAVA_INTERFACE_PDF_MANUAL) @BUILD_JAVA_INTERFACE_TRUE@INSTALL_JAVA_INTERFACE_PS_DOCS = $(USER_JAVA_INTERFACE_PS_MANUAL) @BUILD_OCAML_INTERFACE_TRUE@INSTALL_OCAML_INTERFACE_HTML_DOCS = $(USER_OCAML_INTERFACE_HTML_MANUAL) @BUILD_OCAML_INTERFACE_TRUE@INSTALL_OCAML_INTERFACE_PDF_DOCS = $(USER_OCAML_INTERFACE_PDF_MANUAL) @BUILD_OCAML_INTERFACE_TRUE@INSTALL_OCAML_INTERFACE_PS_DOCS = $(USER_OCAML_INTERFACE_PS_MANUAL) @BUILD_SOME_PROLOG_INTERFACES_TRUE@INSTALL_PROLOG_INTERFACE_HTML_DOCS = $(USER_PROLOG_INTERFACE_HTML_MANUAL) @BUILD_SOME_PROLOG_INTERFACES_TRUE@INSTALL_PROLOG_INTERFACE_PDF_DOCS = $(USER_PROLOG_INTERFACE_PDF_MANUAL) @BUILD_SOME_PROLOG_INTERFACES_TRUE@INSTALL_PROLOG_INTERFACE_PS_DOCS = $(USER_PROLOG_INTERFACE_PS_MANUAL) INSTALL_HTML_DOCS = \ $(USER_CORE_HTML_MANUAL) \ $(INSTALL_C_INTERFACE_HTML_DOCS) \ $(INSTALL_JAVA_INTERFACE_HTML_DOCS) \ $(INSTALL_OCAML_INTERFACE_HTML_DOCS) \ $(INSTALL_PROLOG_INTERFACE_HTML_DOCS) INSTALL_PDF_DOCS = \ $(PDF_LICENSES) \ $(USER_CORE_PDF_MANUAL) \ $(INSTALL_C_INTERFACE_PDF_DOCS) \ $(INSTALL_JAVA_INTERFACE_PDF_DOCS) \ $(INSTALL_OCAML_INTERFACE_PDF_DOCS) \ $(INSTALL_PROLOG_INTERFACE_PDF_DOCS) INSTALL_PS_DOCS = \ $(PS_LICENSES) \ $(USER_CORE_PS_MANUAL) \ $(INSTALL_C_INTERFACE_PS_DOCS) \ $(INSTALL_JAVA_INTERFACE_PS_DOCS) \ $(INSTALL_OCAML_INTERFACE_PS_DOCS) \ $(INSTALL_PROLOG_INTERFACE_PS_DOCS) PPL_SOURCE_FILES = $(wildcard $(srcdir)/../src/*.hh $(srcdir)/../src/*.cc) LATEX_DIRS = \ user.latex-dir \ devref.latex-dir \ user-c-interface.latex-dir \ devref-c-interface.latex-dir \ user-prolog-interface.latex-dir \ devref-prolog-interface.latex-dir \ user-ocaml-interface.latex-dir \ devref-ocaml-interface.latex-dir \ user-java-interface.latex-dir \ devref-java-interface.latex-dir \ user-configured-c-interface.latex-dir \ devref-configured-c-interface.latex-dir \ user-configured-prolog-interface.latex-dir \ devref-configured-prolog-interface.latex-dir \ user-configured-ocaml-interface.latex-dir \ devref-configured-ocaml-interface.latex-dir \ user-configured-java-interface.latex-dir \ devref-configured-java-interface.latex-dir TEX_ENV = TEXINPUTS=$(abs_srcdir):$(TEXINPUTS) ############################################################################ ##### Configuration Independent Language Interface Targets ##### SED_HTML_OPTION = -f $(srcdir)/interfaces-html.sed SED_LATEX_OPTION = -f $(srcdir)/interfaces-latex.sed SED_USER_HTML_OPTION = $(SED_HTML_OPTION) \ -e 's||ppl-user-@VERSION@-html.tag=../ppl-user-@VERSION@-html.tag|' SED_DEVREF_HTML_OPTION = $(SED_HTML_OPTION) \ -e 's||ppl-devref-@VERSION@-html.tag=../ppl-devref-@VERSION@-html.tag|' SED_USER_LATEX_OPTION = \ $(SED_LATEX_OPTION) \ -e 's///' SED_DEVREF_LATEX_OPTION = \ $(SED_LATEX_OPTION) \ -e 's///' # C Language Interface Targets SED_C_OPTION = \ -e 's///' \ -e 's//C/' \ -e 's//c-interface/' \ -e 's///' SED_C_INPUT_USER = \ ../interfaces/C/ppl_c_version.h \ $(srcdir)/../interfaces/C/ppl_c_header.h \ $(srcdir)/../interfaces/C/C_interface.dox \ $(srcdir)/gpl.dox $(srcdir)/fdl.dox SED_C_INPUT_DEVREF = \ ../interfaces/C/ppl_c_version.h \ $(srcdir)/../interfaces/C/ppl_c_header.h \ $(srcdir)/../interfaces/C/C_interface.dox \ $(srcdir)/../interfaces/C/ppl_c_implementation_common.cc \ $(srcdir)/../interfaces/C/ppl_c_implementation_common.defs.hh \ $(srcdir)/../interfaces/C/ppl_c_implementation_common.inlines.hh \ $(srcdir)/gpl.dox $(srcdir)/fdl.dox # (System Independent) Prolog Language Interface Targets SED_PROLOG_OPTION = \ -e 's///' \ -e 's//Prolog/' \ -e 's//prolog-interface/' \ -e 's///' SED_PROLOG_INPUT_USER = \ $(srcdir)/../interfaces/Prolog/Prolog_interface.dox \ $(srcdir)/gpl.dox $(srcdir)/fdl.dox SED_PROLOG_INPUT_DEVREF = \ $(srcdir)/../interfaces/Prolog/Prolog_interface.dox \ $(srcdir)/../interfaces/Prolog/ppl_prolog_common.defs.hh \ $(srcdir)/../interfaces/Prolog/ppl_prolog_common.inlines.hh \ $(srcdir)/../interfaces/Prolog/ppl_prolog_common.cc \ $(srcdir)/gpl.dox $(srcdir)/fdl.dox # OCaml Language Interface Targets SED_OCAML_OPTION = \ -e 's///' \ -e 's//OCaml/' \ -e 's//ocaml-interface/' \ -e 's//\\usepackage{ocamldoc}/' SED_OCAML_INPUT_USER = \ $(srcdir)/../interfaces/OCaml/OCaml_interface.dox \ $(srcdir)/gpl.dox $(srcdir)/fdl.dox SED_OCAML_INPUT_DEVREF = \ $(srcdir)/../interfaces/OCaml/OCaml_interface.dox \ $(srcdir)/../interfaces/OCaml/ppl_ocaml_common.cc \ $(srcdir)/../interfaces/OCaml/ppl_ocaml_common.defs.hh \ $(srcdir)/../interfaces/OCaml/ppl_ocaml_common.inlines.hh \ $(srcdir)/gpl.dox $(srcdir)/fdl.dox OCAMLDOC_HTML_OPTIONS = \ -I @mlgmp_dir@ -I $(top_builddir)/interfaces/OCaml -html OCAMLDOC_LATEX_OPTIONS = \ -I @mlgmp_dir@ -I $(top_builddir)/interfaces/OCaml \ -latex -noheader -notrailer -notoc # Java Language Interface Targets SED_JAVA_OPTION = \ -e 's///' \ -e 's//Java/' \ -e 's//java-interface/' \ -e 's///' SED_JAVA_INPUT_USER = \ $(srcdir)/../interfaces/Java/parma_polyhedra_library \ $(srcdir)/gpl.dox $(srcdir)/fdl.dox SED_JAVA_INPUT_DEVREF = \ $(srcdir)/../interfaces/Java/parma_polyhedra_library \ $(srcdir)/../interfaces/Java/jni/ppl_java_common.cc \ $(srcdir)/../interfaces/Java/jni/ppl_java_common.defs.hh \ $(srcdir)/../interfaces/Java/jni/ppl_java_common.inlines.hh \ $(srcdir)/../interfaces/Java/jni/ppl_java_globals.cc \ $(srcdir)/gpl.dox $(srcdir)/fdl.dox ############################################################################ ##### Configuration Dependent Language Interface Targets ##### # Configuration-Dependent C Language Interface Targets @BUILD_C_INTERFACE_TRUE@SED_CONFIGURED_C_OPTION = \ @BUILD_C_INTERFACE_TRUE@ -e 's//PPL_DOXYGEN_CONFIGURED_MANUAL/' \ @BUILD_C_INTERFACE_TRUE@ -e 's//Configured C/' \ @BUILD_C_INTERFACE_TRUE@ -e 's//configured-c-interface/' \ @BUILD_C_INTERFACE_TRUE@ -e 's///' @BUILD_C_INTERFACE_TRUE@SED_CONFIGURED_C_INPUT_USER = \ @BUILD_C_INTERFACE_TRUE@$(srcdir)/../interfaces/C/C_interface.dox \ @BUILD_C_INTERFACE_TRUE@../interfaces/C/ppl_c.h \ @BUILD_C_INTERFACE_TRUE@$(srcdir)/gpl.dox $(srcdir)/fdl.dox @BUILD_C_INTERFACE_TRUE@SED_CONFIGURED_C_INPUT_DEVREF = \ @BUILD_C_INTERFACE_TRUE@$(srcdir)/../interfaces/C/C_interface.dox \ @BUILD_C_INTERFACE_TRUE@../interfaces/C/ppl_c.h \ @BUILD_C_INTERFACE_TRUE@$(srcdir)/../interfaces/C/ppl_c_implementation_common.cc \ @BUILD_C_INTERFACE_TRUE@$(srcdir)/../interfaces/C/ppl_c_implementation_common.defs.hh \ @BUILD_C_INTERFACE_TRUE@$(srcdir)/../interfaces/C/ppl_c_implementation_common.inlines.hh \ @BUILD_C_INTERFACE_TRUE@$(srcdir)/gpl.dox $(srcdir)/fdl.dox # Configuration-Dependent Prolog Language Interface Targets @BUILD_SOME_PROLOG_INTERFACES_TRUE@SED_CONFIGURED_PROLOG_OPTION = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ -e 's//PPL_DOXYGEN_CONFIGURED_MANUAL/' \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ -e 's//Configured Prolog/' \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ -e 's//configured-prolog-interface/' \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ -e 's///' @BUILD_SOME_PROLOG_INTERFACES_TRUE@SED_CONFIGURED_PROLOG_INPUT_USER = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/Prolog_configured_interface.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/gpl.dox $(srcdir)/fdl.dox @BUILD_SOME_PROLOG_INTERFACES_TRUE@SED_CONFIGURED_PROLOG_INPUT_DEVREF = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/Prolog_configured_interface.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/../interfaces/Prolog/ppl_prolog_common.defs.hh \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/../interfaces/Prolog/ppl_prolog_common.inlines.hh \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/../interfaces/Prolog/ppl_prolog_common.cc \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/gpl.dox $(srcdir)/fdl.dox # Configuration-Dependent OCaml Language Interface Targets @BUILD_OCAML_INTERFACE_TRUE@SED_CONFIGURED_OCAML_OPTION = \ @BUILD_OCAML_INTERFACE_TRUE@ -e 's//PPL_DOXYGEN_CONFIGURED_MANUAL/' \ @BUILD_OCAML_INTERFACE_TRUE@ -e 's//Configured OCaml/' \ @BUILD_OCAML_INTERFACE_TRUE@ -e 's//configured-ocaml-interface/' \ @BUILD_OCAML_INTERFACE_TRUE@ -e 's//\\usepackage{ocamldoc}/' @BUILD_OCAML_INTERFACE_TRUE@SED_CONFIGURED_OCAML_INPUT_USER = \ @BUILD_OCAML_INTERFACE_TRUE@$(srcdir)/../interfaces/OCaml/OCaml_interface.dox \ @BUILD_OCAML_INTERFACE_TRUE@$(srcdir)/gpl.dox $(srcdir)/fdl.dox @BUILD_OCAML_INTERFACE_TRUE@SED_CONFIGURED_OCAML_INPUT_DEVREF = \ @BUILD_OCAML_INTERFACE_TRUE@$(srcdir)/../interfaces/OCaml/OCaml_interface.dox \ @BUILD_OCAML_INTERFACE_TRUE@$(srcdir)/../interfaces/OCaml/ppl_ocaml_common.cc \ @BUILD_OCAML_INTERFACE_TRUE@$(srcdir)/../interfaces/OCaml/ppl_ocaml_common.defs.hh \ @BUILD_OCAML_INTERFACE_TRUE@$(srcdir)/../interfaces/OCaml/ppl_ocaml_common.inlines.hh \ @BUILD_OCAML_INTERFACE_TRUE@$(srcdir)/gpl.dox $(srcdir)/fdl.dox # Configuration-Dependent Java Language Interface Targets @BUILD_JAVA_INTERFACE_TRUE@SED_CONFIGURED_JAVA_OPTION = \ @BUILD_JAVA_INTERFACE_TRUE@ -e 's//PPL_DOXYGEN_CONFIGURED_MANUAL/' \ @BUILD_JAVA_INTERFACE_TRUE@ -e 's//Configured Java/' \ @BUILD_JAVA_INTERFACE_TRUE@ -e 's//configured-java-interface/' \ @BUILD_JAVA_INTERFACE_TRUE@ -e 's///' @BUILD_JAVA_INTERFACE_TRUE@SED_CONFIGURED_JAVA_INPUT_USER = \ @BUILD_JAVA_INTERFACE_TRUE@$(SED_JAVA_INPUT_USER) \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library @BUILD_JAVA_INTERFACE_TRUE@SED_CONFIGURED_JAVA_INPUT_DEVREF = \ @BUILD_JAVA_INTERFACE_TRUE@$(SED_JAVA_INPUT_DEVREF) \ @BUILD_JAVA_INTERFACE_TRUE@../interfaces/Java/parma_polyhedra_library EXTRA_DIST = \ $(DIST_DOCS) \ $(DOX_FILES) \ README.doc \ devref-language-interface.tex \ devref.tex \ fdl.tex \ gpl.tex \ interfaces-html.sed \ interfaces-latex.sed \ ppl.sty \ user-language-interface.tex \ user.tex GENERATED_LATEX_HEADER_FILES = \ devref-configured-c-interface.tex \ devref-configured-java-interface.tex \ devref-configured-ocaml-interface.tex \ devref-configured-prolog-interface.tex \ devref-c-interface.tex \ devref-java-interface.tex \ devref-ocaml-interface.tex \ devref-prolog-interface.tex \ user-configured-c-interface.tex \ user-configured-java-interface.tex \ user-configured-ocaml-interface.tex \ user-configured-prolog-interface.tex \ user-c-interface.tex \ user-java-interface.tex \ user-ocaml-interface.tex \ user-prolog-interface.tex CLEANFILES = \ $(USER_CORE_HTML_DIR).tag \ $(DEVREF_CORE_HTML_DIR).tag all: all-am .SUFFIXES: $(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps) @for dep in $?; do \ case '$(am__configure_deps)' in \ *$$dep*) \ ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \ && { if test -f $@; then exit 0; else break; fi; }; \ exit 1;; \ esac; \ done; \ echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign doc/Makefile'; \ $(am__cd) $(top_srcdir) && \ $(AUTOMAKE) --foreign doc/Makefile .PRECIOUS: Makefile Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status @case '$?' in \ *config.status*) \ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \ *) \ echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \ cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \ esac; $(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES) cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh $(top_srcdir)/configure: $(am__configure_deps) cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh $(ACLOCAL_M4): $(am__aclocal_m4_deps) cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh $(am__aclocal_m4_deps): user.doxyconf-latex: $(top_builddir)/config.status $(srcdir)/user.doxyconf-latex.in cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ devref.doxyconf-latex: $(top_builddir)/config.status $(srcdir)/devref.doxyconf-latex.in cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ user.doxyconf-html: $(top_builddir)/config.status $(srcdir)/user.doxyconf-html.in cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ devref.doxyconf-html: $(top_builddir)/config.status $(srcdir)/devref.doxyconf-html.in cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ user-language-interface.doxyconf: $(top_builddir)/config.status $(srcdir)/user-language-interface.doxyconf.in cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ devref-language-interface.doxyconf: $(top_builddir)/config.status $(srcdir)/devref-language-interface.doxyconf.in cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ mostlyclean-libtool: -rm -f *.lo clean-libtool: -rm -rf .libs _libs install-man1: $(dist_man_MANS) @$(NORMAL_INSTALL) test -z "$(man1dir)" || $(MKDIR_P) "$(DESTDIR)$(man1dir)" @list=''; test -n "$(man1dir)" || exit 0; \ { for i in $$list; do echo "$$i"; done; \ l2='$(dist_man_MANS)'; for i in $$l2; do echo "$$i"; done | \ sed -n '/\.1[a-z]*$$/p'; \ } | while read p; do \ if test -f $$p; then d=; else d="$(srcdir)/"; fi; \ echo "$$d$$p"; echo "$$p"; \ done | \ sed -e 'n;s,.*/,,;p;h;s,.*\.,,;s,^[^1][0-9a-z]*$$,1,;x' \ -e 's,\.[0-9a-z]*$$,,;$(transform);G;s,\n,.,' | \ sed 'N;N;s,\n, ,g' | { \ list=; while read file base inst; do \ if test "$$base" = "$$inst"; then list="$$list $$file"; else \ echo " $(INSTALL_DATA) '$$file' '$(DESTDIR)$(man1dir)/$$inst'"; \ $(INSTALL_DATA) "$$file" "$(DESTDIR)$(man1dir)/$$inst" || exit $$?; \ fi; \ done; \ for i in $$list; do echo "$$i"; done | $(am__base_list) | \ while read files; do \ test -z "$$files" || { \ echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(man1dir)'"; \ $(INSTALL_DATA) $$files "$(DESTDIR)$(man1dir)" || exit $$?; }; \ done; } uninstall-man1: @$(NORMAL_UNINSTALL) @list=''; test -n "$(man1dir)" || exit 0; \ files=`{ for i in $$list; do echo "$$i"; done; \ l2='$(dist_man_MANS)'; for i in $$l2; do echo "$$i"; done | \ sed -n '/\.1[a-z]*$$/p'; \ } | sed -e 's,.*/,,;h;s,.*\.,,;s,^[^1][0-9a-z]*$$,1,;x' \ -e 's,\.[0-9a-z]*$$,,;$(transform);G;s,\n,.,'`; \ test -z "$$files" || { \ echo " ( cd '$(DESTDIR)$(man1dir)' && rm -f" $$files ")"; \ cd "$(DESTDIR)$(man1dir)" && rm -f $$files; } install-man3: $(dist_man_MANS) @$(NORMAL_INSTALL) test -z "$(man3dir)" || $(MKDIR_P) "$(DESTDIR)$(man3dir)" @list=''; test -n "$(man3dir)" || exit 0; \ { for i in $$list; do echo "$$i"; done; \ l2='$(dist_man_MANS)'; for i in $$l2; do echo "$$i"; done | \ sed -n '/\.3[a-z]*$$/p'; \ } | while read p; do \ if test -f $$p; then d=; else d="$(srcdir)/"; fi; \ echo "$$d$$p"; echo "$$p"; \ done | \ sed -e 'n;s,.*/,,;p;h;s,.*\.,,;s,^[^3][0-9a-z]*$$,3,;x' \ -e 's,\.[0-9a-z]*$$,,;$(transform);G;s,\n,.,' | \ sed 'N;N;s,\n, ,g' | { \ list=; while read file base inst; do \ if test "$$base" = "$$inst"; then list="$$list $$file"; else \ echo " $(INSTALL_DATA) '$$file' '$(DESTDIR)$(man3dir)/$$inst'"; \ $(INSTALL_DATA) "$$file" "$(DESTDIR)$(man3dir)/$$inst" || exit $$?; \ fi; \ done; \ for i in $$list; do echo "$$i"; done | $(am__base_list) | \ while read files; do \ test -z "$$files" || { \ echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(man3dir)'"; \ $(INSTALL_DATA) $$files "$(DESTDIR)$(man3dir)" || exit $$?; }; \ done; } uninstall-man3: @$(NORMAL_UNINSTALL) @list=''; test -n "$(man3dir)" || exit 0; \ files=`{ for i in $$list; do echo "$$i"; done; \ l2='$(dist_man_MANS)'; for i in $$l2; do echo "$$i"; done | \ sed -n '/\.3[a-z]*$$/p'; \ } | sed -e 's,.*/,,;h;s,.*\.,,;s,^[^3][0-9a-z]*$$,3,;x' \ -e 's,\.[0-9a-z]*$$,,;$(transform);G;s,\n,.,'`; \ test -z "$$files" || { \ echo " ( cd '$(DESTDIR)$(man3dir)' && rm -f" $$files ")"; \ cd "$(DESTDIR)$(man3dir)" && rm -f $$files; } tags: TAGS TAGS: ctags: CTAGS CTAGS: distdir: $(DISTFILES) @list='$(MANS)'; if test -n "$$list"; then \ list=`for p in $$list; do \ if test -f $$p; then d=; else d="$(srcdir)/"; fi; \ if test -f "$$d$$p"; then echo "$$d$$p"; else :; fi; done`; \ if test -n "$$list" && \ grep 'ab help2man is required to generate this page' $$list >/dev/null; then \ echo "error: found man pages containing the \`missing help2man' replacement text:" >&2; \ grep -l 'ab help2man is required to generate this page' $$list | sed 's/^/ /' >&2; \ echo " to fix them, install help2man, remove and regenerate the man pages;" >&2; \ echo " typically \`make maintainer-clean' will remove them" >&2; \ exit 1; \ else :; fi; \ else :; fi @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \ topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \ list='$(DISTFILES)'; \ dist_files=`for file in $$list; do echo $$file; done | \ sed -e "s|^$$srcdirstrip/||;t" \ -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \ case $$dist_files in \ */*) $(MKDIR_P) `echo "$$dist_files" | \ sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \ sort -u` ;; \ esac; \ for file in $$dist_files; do \ if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \ if test -d $$d/$$file; then \ dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \ if test -d "$(distdir)/$$file"; then \ find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ fi; \ if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \ cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \ find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ fi; \ cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \ else \ test -f "$(distdir)/$$file" \ || cp -p $$d/$$file "$(distdir)/$$file" \ || exit 1; \ fi; \ done check-am: all-am check: check-am all-am: Makefile $(MANS) installdirs: installdirs-local for dir in "$(DESTDIR)$(man1dir)" "$(DESTDIR)$(man3dir)"; do \ test -z "$$dir" || $(MKDIR_P) "$$dir"; \ done install: install-am install-exec: install-exec-am install-data: install-data-am uninstall: uninstall-am install-am: all-am @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am installcheck: installcheck-am install-strip: $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \ install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \ `test -z '$(STRIP)' || \ echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install mostlyclean-generic: clean-generic: -test -z "$(CLEANFILES)" || rm -f $(CLEANFILES) distclean-generic: -test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES) -test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES) maintainer-clean-generic: @echo "This command is intended for maintainers to use" @echo "it deletes files that may require special tools to rebuild." clean: clean-am clean-am: clean-generic clean-libtool mostlyclean-am distclean: distclean-am -rm -f Makefile distclean-am: clean-am distclean-generic dvi: dvi-am dvi-am: html: html-am html-am: info: info-am info-am: install-data-am: install-data-local install-man install-dvi: install-dvi-am install-dvi-am: install-exec-am: install-html-am: install-info: install-info-am install-info-am: install-man: install-man1 install-man3 install-pdf-am: install-ps-am: installcheck-am: maintainer-clean: maintainer-clean-am -rm -f Makefile maintainer-clean-am: distclean-am maintainer-clean-generic mostlyclean: mostlyclean-am mostlyclean-am: mostlyclean-generic mostlyclean-libtool \ mostlyclean-local pdf: pdf-am pdf-am: ps: ps-am ps-am: uninstall-am: uninstall-local uninstall-man uninstall-man: uninstall-man1 uninstall-man3 .MAKE: install-am install-strip .PHONY: all all-am check check-am clean clean-generic clean-libtool \ distclean distclean-generic distclean-libtool distdir dvi \ dvi-am html html-am info info-am install install-am \ install-data install-data-am install-data-local install-dvi \ install-dvi-am install-exec install-exec-am install-html \ install-html-am install-info install-info-am install-man \ install-man1 install-man3 install-pdf install-pdf-am \ install-ps install-ps-am install-strip installcheck \ installcheck-am installdirs installdirs-local maintainer-clean \ maintainer-clean-generic mostlyclean mostlyclean-generic \ mostlyclean-libtool mostlyclean-local pdf pdf-am ps ps-am \ uninstall uninstall-am uninstall-local uninstall-man \ uninstall-man1 uninstall-man3 ##### Build Targets ##### # Do nothing by default. all: user-html: \ $(USER_CORE_HTML_MANUAL) \ $(USER_C_INTERFACE_HTML_MANUAL) \ $(USER_PROLOG_INTERFACE_HTML_MANUAL) \ $(USER_OCAML_INTERFACE_HTML_MANUAL) \ $(USER_JAVA_INTERFACE_HTML_MANUAL) user-pdf: \ $(USER_CORE_PDF_MANUAL) \ $(USER_C_INTERFACE_PDF_MANUAL) \ $(USER_PROLOG_INTERFACE_PDF_MANUAL) \ $(USER_OCAML_INTERFACE_PDF_MANUAL) \ $(USER_JAVA_INTERFACE_PDF_MANUAL) user-ps: \ $(USER_CORE_PS_MANUAL) \ $(USER_C_INTERFACE_PS_MANUAL) \ $(USER_PROLOG_INTERFACE_PS_MANUAL) \ $(USER_OCAML_INTERFACE_PS_MANUAL) \ $(USER_JAVA_INTERFACE_PS_MANUAL) user: user-html user-pdf user-ps devref-html: \ $(DEVREF_CORE_HTML_MANUAL) \ $(DEVREF_C_INTERFACE_HTML_MANUAL) \ $(DEVREF_PROLOG_INTERFACE_HTML_MANUAL) \ $(DEVREF_OCAML_INTERFACE_HTML_MANUAL) \ $(DEVREF_JAVA_INTERFACE_HTML_MANUAL) devref-pdf: \ $(DEVREF_CORE_PDF_MANUAL) \ $(DEVREF_C_INTERFACE_PDF_MANUAL) \ $(DEVREF_PROLOG_INTERFACE_PDF_MANUAL) \ $(DEVREF_OCAML_INTERFACE_PDF_MANUAL) \ $(DEVREF_JAVA_INTERFACE_PDF_MANUAL) devref-ps: \ $(DEVREF_CORE_PS_MANUAL) \ $(DEVREF_C_INTERFACE_PS_MANUAL) \ $(DEVREF_PROLOG_INTERFACE_PS_MANUAL) \ $(DEVREF_OCAML_INTERFACE_PS_MANUAL) \ $(DEVREF_JAVA_INTERFACE_PS_MANUAL) devref: devref-html devref-pdf devref-ps user-configured-html: \ $(USER_CONFIGURED_C_INTERFACE_HTML_MANUAL) \ $(USER_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL) \ $(USER_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL) \ $(USER_CONFIGURED_JAVA_INTERFACE_HTML_MANUAL) user-configured-pdf: \ $(USER_CONFIGURED_C_INTERFACE_PDF_MANUAL) \ $(USER_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL) \ $(USER_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL) \ $(USER_CONFIGURED_JAVA_INTERFACE_PDF_MANUAL) user-configured-ps: \ $(USER_CONFIGURED_C_INTERFACE_PS_MANUAL) \ $(USER_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL) \ $(USER_CONFIGURED_OCAML_INTERFACE_PS_MANUAL) \ $(USER_CONFIGURED_JAVA_INTERFACE_PS_MANUAL) user-configured: \ user-configured-html \ user-configured-pdf \ user-configured-ps devref-configured-html: \ $(DEVREF_CONFIGURED_C_INTERFACE_HTML_MANUAL) \ $(DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL) \ $(DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL) \ $(DEVREF_CONFIGURED_JAVA_INTERFACE_HTML_MANUAL) devref-configured-pdf: \ $(DEVREF_CONFIGURED_C_INTERFACE_PDF_MANUAL) \ $(DEVREF_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL) \ $(DEVREF_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL) \ $(DEVREF_CONFIGURED_JAVA_INTERFACE_PDF_MANUAL) devref-configured-ps: \ $(DEVREF_CONFIGURED_C_INTERFACE_PS_MANUAL) \ $(DEVREF_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL) \ $(DEVREF_CONFIGURED_OCAML_INTERFACE_PS_MANUAL) \ $(DEVREF_CONFIGURED_JAVA_INTERFACE_PS_MANUAL) devref-configured: \ devref-configured-html \ devref-configured-pdf \ devref-configured-ps user-all: user user-configured devref-all: devref devref-configured world: user-all devref-all install-data-local: \ install-html \ install-pdf \ install-ps \ install-txt installdirs-local: \ installdirs-html \ installdirs-pdf \ installdirs-ps \ installdirs-txt uninstall-local: \ uninstall-html \ uninstall-pdf \ uninstall-ps \ uninstall-txt # Installation and uninstallation of HTML documentation. install-html: for ball in $(INSTALL_HTML_DOCS); do \ test -f $$ball || test -f $(srcdir)/$$ball || $(MAKE) $$ball; \ dir=`basename $$ball .tar.gz`; \ $(mkinstalldirs) $(DESTDIR)$(htmldir)/$$dir; \ gunzip -c `if test -f $$ball; then echo .; else echo $(srcdir); fi`/$$ball | tar xf - ; \ if test -d $$dir/ocamldoc; then \ $(mkinstalldirs) $(DESTDIR)$(htmldir)/$$dir/ocamldoc; \ for file in $$dir/ocamldoc/*; do \ $(INSTALL_DATA) $$file \ $(DESTDIR)$(htmldir)/$$dir/ocamldoc/`basename $$file`; \ done; \ fi; \ for file in $$dir/*; do \ $(INSTALL_DATA) $$file $(DESTDIR)$(htmldir)/$$dir/`basename $$file`; \ done; \ done installdirs-html: for ball in $(INSTALL_HTML_DOCS); do \ dir=`basename $$ball .tar.gz`; \ $(mkinstalldirs) $(DESTDIR)$(htmldir)/$$dir; \ done uninstall-html: for ball in $(INSTALL_HTML_DOCS); do \ dir=`basename $$ball .tar.gz`; \ rm -rf $(DESTDIR)$(htmldir)/$$dir; \ done # Installation and uninstallation of PDF documentation. install-pdf: $(mkinstalldirs) $(DESTDIR)$(pdfdir) for file in $(INSTALL_PDF_DOCS); do \ test -f $$file || test -f $(srcdir)/$$file || $(MAKE) $$file; \ $(INSTALL_DATA) `if test -f $$file; then echo .; else echo $(srcdir); fi`/$$file $(DESTDIR)$(pdfdir)/$$file; \ done installdirs-pdf: $(mkinstalldirs) $(DESTDIR)$(pdfdir) uninstall-pdf: for file in $(INSTALL_PDF_DOCS); do \ rm -f $(DESTDIR)$(pdfdir)/$$file; \ done # Installation and uninstallation of PostScript documentation. install-ps: $(mkinstalldirs) $(DESTDIR)$(psdir) for file in $(INSTALL_PS_DOCS); do \ test -f $$file || test -f $(srcdir)/$$file || $(MAKE) $$file; \ $(INSTALL_DATA) `if test -f $$file; then echo .; else echo $(srcdir); fi`/$$file $(DESTDIR)$(psdir)/$$file; \ done installdirs-ps: $(mkinstalldirs) $(DESTDIR)$(psdir) uninstall-ps: for file in $(INSTALL_PS_DOCS); do \ rm -f $(DESTDIR)$(psdir)/$$file; \ done # Installation and uninstallation of pure text documentation. install-txt: $(mkinstalldirs) $(DESTDIR)$(txtdir) for file in $(srcdir)/*.txt $(srcdir)/README.doc; do \ $(INSTALL_DATA) $$file $(DESTDIR)$(txtdir)/`basename $$file`; \ done for file in BUGS COPYING CREDITS ChangeLog NEWS README README.configure TODO ; do \ $(INSTALL_DATA) $(srcdir)/../$$file $(DESTDIR)$(txtdir)/$$file; \ done installdirs-txt: $(mkinstalldirs) $(DESTDIR)$(txtdir) uninstall-txt: rm -f $(DESTDIR)$(txtdir)/*.txt $(DESTDIR)$(txtdir)/README.doc for file in BUGS COPYING CREDITS ChangeLog NEWS README README.configure TODO ; do \ rm -f $(DESTDIR)$(txtdir)/$$file; \ done .SECONDARY: $(LATEX_DIRS) user.latex-dir: user.doxyconf-latex $(USER_CORE_STUFF) rm -rf $@ $(TEX_ENV) $(DOXYGEN) $< devref.latex-dir: devref.doxyconf-latex $(DEVREF_CORE_STUFF) rm -rf $@ $(TEX_ENV) $(DOXYGEN) $< ppl-user-@VERSION@.pdf: user.latex-dir $(TEX_ENV) make -C $< refman.pdf && mv -f $ user-c-interface.tex $(SED) $(SED_C_OPTION) $(SED_USER_LATEX_OPTION) \ -e 's||'"$(SED_C_INPUT_USER)"'|' \ $< > Doxyfile.user-c-interface-latex $(TEX_ENV) $(DOXYGEN) Doxyfile.user-c-interface-latex devref-c-interface.latex-dir: \ devref-language-interface.doxyconf \ $(DEVREF_C_INTERFACE_STUFF) rm -rf $@ $(SED) $(SED_C_OPTION) \ $(srcdir)/devref-language-interface.tex \ > devref-c-interface.tex $(SED) $(SED_C_OPTION) $(SED_DEVREF_LATEX_OPTION) \ -e 's||'"$(SED_C_INPUT_DEVREF)"'|' \ $< > Doxyfile.devref-c-interface-latex $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-c-interface-latex ppl-user-c-interface-@VERSION@.pdf: user-c-interface.latex-dir $(TEX_ENV) make -C $< refman.pdf && mv -f $ user-c-interface.tex $(SED) $(SED_C_OPTION) $(SED_USER_HTML_OPTION) \ -e 's||'"$(SED_C_INPUT_USER)"'|' \ $< > Doxyfile.user-c-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.user-c-interface-html (cd $@; $(INSTALLDOX) \ -l $(USER_CORE_HTML_DIR).tag@../$(USER_CORE_HTML_DIR)) ppl-devref-c-interface-@VERSION@-html: \ devref-language-interface.doxyconf \ $(DEVREF_C_INTERFACE_STUFF) $(DEVREF_CORE_HTML_DIR) rm -rf $@ $(SED) $(SED_C_OPTION) \ $(srcdir)/devref-language-interface.tex \ > devref-c-interface.tex $(SED) $(SED_C_OPTION) $(SED_DEVREF_HTML_OPTION) \ -e 's||'"$(SED_C_INPUT_DEVREF)"'|' \ $< > Doxyfile.devref-c-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-c-interface-html (cd $@; $(INSTALLDOX) \ -l $(DEVREF_CORE_HTML_DIR).tag@../$(DEVREF_CORE_HTML_DIR)) user-prolog-interface.latex-dir: \ user-language-interface.doxyconf \ $(USER_PROLOG_INTERFACE_STUFF) rm -rf $@ $(SED) $(SED_PROLOG_OPTION) \ $(srcdir)/user-language-interface.tex \ > user-prolog-interface.tex $(SED) $(SED_PROLOG_OPTION) $(SED_USER_LATEX_OPTION) \ -e 's||'"$(SED_PROLOG_INPUT_USER)"'|' \ $< > Doxyfile.user-prolog-interface-latex $(TEX_ENV) $(DOXYGEN) Doxyfile.user-prolog-interface-latex devref-prolog-interface.latex-dir: \ devref-language-interface.doxyconf \ $(DEVREF_PROLOG_INTERFACE_STUFF) rm -rf $@ $(SED) $(SED_PROLOG_OPTION) \ $(srcdir)/devref-language-interface.tex \ > devref-prolog-interface.tex $(SED) $(SED_PROLOG_OPTION) $(SED_DEVREF_LATEX_OPTION) \ -e 's||'"$(SED_PROLOG_INPUT_DEVREF)"'|' \ $< > Doxyfile.devref-prolog-interface-latex $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-prolog-interface-latex ppl-user-prolog-interface-@VERSION@.pdf: user-prolog-interface.latex-dir $(TEX_ENV) make -C $< refman.pdf && mv -f $ user-prolog-interface.tex $(SED) $(SED_PROLOG_OPTION) $(SED_USER_HTML_OPTION) \ -e 's||'"$(SED_PROLOG_INPUT_USER)"'|' \ $< > Doxyfile.user-prolog-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.user-prolog-interface-html (cd $@; $(INSTALLDOX) \ -l $(USER_CORE_HTML_DIR).tag@../$(USER_CORE_HTML_DIR)) ppl-devref-prolog-interface-@VERSION@-html: \ devref-language-interface.doxyconf \ $(DEVREF_PROLOG_INTERFACE_STUFF) $(DEVREF_CORE_HTML_DIR) rm -rf $@ $(SED) $(SED_PROLOG_OPTION) \ $(srcdir)/devref-language-interface.tex \ > devref-prolog-interface.tex $(SED) $(SED_PROLOG_OPTION) $(SED_DEVREF_HTML_OPTION) \ -e 's||'"$(SED_PROLOG_INPUT_DEVREF)"'|' \ $< > Doxyfile.devref-prolog-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-prolog-interface-html (cd $@; $(INSTALLDOX) \ -l $(DEVREF_CORE_HTML_DIR).tag@../$(DEVREF_CORE_HTML_DIR)) user-ocaml-interface.latex-dir: \ user-language-interface.doxyconf \ $(USER_OCAML_INTERFACE_STUFF) rm -rf $@ $(SED) $(SED_OCAML_OPTION) \ $(srcdir)/user-language-interface.tex \ > user-ocaml-interface.tex $(SED) $(SED_OCAML_OPTION) $(SED_USER_LATEX_OPTION) \ -e 's||'"$(SED_OCAML_INPUT_USER)"'|' \ $< > Doxyfile.user-ocaml-interface-latex $(TEX_ENV) $(DOXYGEN) Doxyfile.user-ocaml-interface-latex $(OCAMLDOC) $(OCAMLDOC_LATEX_OPTIONS) -o $@/ocamldoc.tex \ $(srcdir)/../interfaces/OCaml/ppl_ocaml_globals.mli devref-ocaml-interface.latex-dir: \ devref-language-interface.doxyconf \ $(DEVREF_OCAML_INTERFACE_STUFF) rm -rf $@ $(SED) $(SED_OCAML_OPTION) \ $(srcdir)/devref-language-interface.tex \ > devref-ocaml-interface.tex $(SED) $(SED_OCAML_OPTION) $(SED_DEVREF_LATEX_OPTION) \ -e 's||'"$(SED_OCAML_INPUT_DEVREF)"'|' \ $< > Doxyfile.devref-ocaml-interface-latex $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-ocaml-interface-latex $(OCAMLDOC) $(OCAMLDOC_LATEX_OPTIONS) -o $@/ocamldoc.tex \ $(srcdir)/../interfaces/OCaml/ppl_ocaml_globals.mli ppl-user-ocaml-interface-@VERSION@.pdf: user-ocaml-interface.latex-dir $(TEX_ENV) make -C $< refman.pdf && mv -f $ user-ocaml-interface.tex $(SED) $(SED_OCAML_OPTION) $(SED_USER_HTML_OPTION) \ -e 's||'"$(SED_OCAML_INPUT_USER)"'|' \ $< > Doxyfile.user-ocaml-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.user-ocaml-interface-html (cd $@; $(INSTALLDOX) \ -l $(USER_CORE_HTML_DIR).tag@../$(USER_CORE_HTML_DIR)) mkdir $@/ocamldoc $(OCAMLDOC) $(OCAMLDOC_HTML_OPTIONS) -d $@/ocamldoc \ $(srcdir)/../interfaces/OCaml/ppl_ocaml_globals.mli ppl-devref-ocaml-interface-@VERSION@-html: \ devref-language-interface.doxyconf \ $(DEVREF_OCAML_INTERFACE_STUFF) $(DEVREF_CORE_HTML_DIR) rm -rf $@ $(SED) $(SED_OCAML_OPTION) \ $(srcdir)/devref-language-interface.tex \ > devref-ocaml-interface.tex $(SED) $(SED_OCAML_OPTION) $(SED_DEVREF_HTML_OPTION) \ -e 's||'"$(SED_OCAML_INPUT_DEVREF)"'|' \ $< > Doxyfile.devref-ocaml-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-ocaml-interface-html (cd $@; $(INSTALLDOX) \ -l $(DEVREF_CORE_HTML_DIR).tag@../$(DEVREF_CORE_HTML_DIR)) mkdir $@/ocamldoc $(OCAMLDOC) $(OCAMLDOC_HTML_OPTIONS) -d $@/ocamldoc \ $(srcdir)/../interfaces/OCaml/ppl_ocaml_globals.mli user-java-interface.latex-dir: \ user-language-interface.doxyconf \ $(USER_JAVA_INTERFACE_STUFF) rm -rf $@ $(SED) $(SED_JAVA_OPTION) \ $(srcdir)/user-language-interface.tex \ > user-java-interface.tex $(SED) $(SED_JAVA_OPTION) $(SED_USER_LATEX_OPTION) \ -e 's||'"$(SED_JAVA_INPUT_USER)"'|' \ $< > Doxyfile.user-java-interface-latex $(TEX_ENV) $(DOXYGEN) Doxyfile.user-java-interface-latex devref-java-interface.latex-dir: \ devref-language-interface.doxyconf \ $(DEVREF_JAVA_INTERFACE_STUFF) rm -rf $@ $(SED) $(SED_JAVA_OPTION) \ $(srcdir)/devref-language-interface.tex \ > devref-java-interface.tex $(SED) $(SED_JAVA_OPTION) $(SED_DEVREF_LATEX_OPTION) \ -e 's||'"$(SED_JAVA_INPUT_DEVREF)"'|' \ $< > Doxyfile.devref-java-interface-latex $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-java-interface-latex ppl-user-java-interface-@VERSION@.pdf: user-java-interface.latex-dir $(TEX_ENV) make -C $< refman.pdf && mv -f $ user-java-interface.tex $(SED) $(SED_JAVA_OPTION) $(SED_USER_HTML_OPTION) \ -e 's||'"$(SED_JAVA_INPUT_USER)"'|' \ $< > Doxyfile.user-java-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.user-java-interface-html (cd $@; $(INSTALLDOX) \ -l $(USER_CORE_HTML_DIR).tag@../$(USER_CORE_HTML_DIR)) ppl-devref-java-interface-@VERSION@-html: \ devref-language-interface.doxyconf \ $(DEVREF_JAVA_INTERFACE_STUFF) $(DEVREF_CORE_HTML_DIR) rm -rf $@ $(SED) $(SED_JAVA_OPTION) \ $(srcdir)/devref-language-interface.tex \ > devref-java-interface.tex $(SED) $(SED_JAVA_OPTION) $(SED_DEVREF_HTML_OPTION) \ -e 's||'"$(SED_JAVA_INPUT_DEVREF)"'|' \ $< > Doxyfile.devref-java-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-java-interface-html (cd $@; $(INSTALLDOX) \ -l $(DEVREF_CORE_HTML_DIR).tag@../$(DEVREF_CORE_HTML_DIR)) # FIXME add generated files @BUILD_C_INTERFACE_TRUE@user-configured-c-interface.latex-dir: \ @BUILD_C_INTERFACE_TRUE@user-language-interface.doxyconf \ @BUILD_C_INTERFACE_TRUE@$(USER_CONFIGURED_C_INTERFACE_STUFF) @BUILD_C_INTERFACE_TRUE@ rm -rf $@ @BUILD_C_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_C_OPTION) \ @BUILD_C_INTERFACE_TRUE@ $(srcdir)/user-language-interface.tex \ @BUILD_C_INTERFACE_TRUE@ > user-configured-c-interface.tex @BUILD_C_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_C_OPTION) $(SED_USER_LATEX_OPTION) \ @BUILD_C_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_C_INPUT_USER)"'|' \ @BUILD_C_INTERFACE_TRUE@ $< > Doxyfile.user-configured-c-interface-latex @BUILD_C_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.user-configured-c-interface-latex @BUILD_C_INTERFACE_TRUE@devref-configured-c-interface.latex-dir: \ @BUILD_C_INTERFACE_TRUE@devref-language-interface.doxyconf \ @BUILD_C_INTERFACE_TRUE@$(DEVREF_CONFIGURED_C_INTERFACE_STUFF) @BUILD_C_INTERFACE_TRUE@ rm -rf $@ @BUILD_C_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_C_OPTION) \ @BUILD_C_INTERFACE_TRUE@ $(srcdir)/devref-language-interface.tex \ @BUILD_C_INTERFACE_TRUE@ > devref-configured-c-interface.tex @BUILD_C_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_C_OPTION) $(SED_DEVREF_LATEX_OPTION) \ @BUILD_C_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_C_INPUT_DEVREF)"'|' \ @BUILD_C_INTERFACE_TRUE@ $< > Doxyfile.devref-configured-c-interface-latex @BUILD_C_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-configured-c-interface-latex @BUILD_C_INTERFACE_TRUE@ppl-user-configured-c-interface-@VERSION@.pdf: \ @BUILD_C_INTERFACE_TRUE@user-configured-c-interface.latex-dir @BUILD_C_INTERFACE_TRUE@ $(TEX_ENV) make -C $< refman.pdf && mv -f $ user-configured-c-interface.tex @BUILD_C_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_C_OPTION) $(SED_USER_HTML_OPTION) \ @BUILD_C_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_C_INPUT_USER)"'|' \ @BUILD_C_INTERFACE_TRUE@ $< > Doxyfile.user-configured-c-interface-html @BUILD_C_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.user-configured-c-interface-html @BUILD_C_INTERFACE_TRUE@ (cd $@; $(INSTALLDOX) \ @BUILD_C_INTERFACE_TRUE@ -l $(USER_CORE_HTML_DIR).tag@../$(USER_CORE_HTML_DIR)) @BUILD_C_INTERFACE_TRUE@ppl-devref-configured-c-interface-@VERSION@-html: \ @BUILD_C_INTERFACE_TRUE@devref-language-interface.doxyconf \ @BUILD_C_INTERFACE_TRUE@$(DEVREF_CONFIGURED_C_INTERFACE_STUFF) $(DEVREF_CORE_HTML_DIR) @BUILD_C_INTERFACE_TRUE@ rm -rf $@ @BUILD_C_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_C_OPTION) \ @BUILD_C_INTERFACE_TRUE@ $(srcdir)/devref-language-interface.tex \ @BUILD_C_INTERFACE_TRUE@ > devref-configured-c-interface.tex @BUILD_C_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_C_OPTION) $(SED_DEVREF_HTML_OPTION) \ @BUILD_C_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_C_INPUT_DEVREF)"'|' \ @BUILD_C_INTERFACE_TRUE@ $< > Doxyfile.devref-configured-c-interface-html @BUILD_C_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-configured-c-interface-html @BUILD_C_INTERFACE_TRUE@ (cd $@; $(INSTALLDOX) \ @BUILD_C_INTERFACE_TRUE@ -l $(DEVREF_CORE_HTML_DIR).tag@../$(DEVREF_CORE_HTML_DIR)) # FIXME: add appropriate generated files. @BUILD_SOME_PROLOG_INTERFACES_TRUE@user-configured-prolog-interface.latex-dir: \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@user-language-interface.doxyconf \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(USER_CONFIGURED_PROLOG_INTERFACE_STUFF) @BUILD_SOME_PROLOG_INTERFACES_TRUE@ rm -rf $@ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(SED) $(SED_CONFIGURED_PROLOG_OPTION) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(srcdir)/user-language-interface.tex \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ > user-configured-prolog-interface.tex @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(SED) $(SED_CONFIGURED_PROLOG_OPTION) $(SED_USER_LATEX_OPTION) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ -e 's||'"$(SED_CONFIGURED_PROLOG_INPUT_USER)"'|' \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $< > Doxyfile.user-configured-prolog-interface-latex @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.user-configured-prolog-interface-latex @BUILD_SOME_PROLOG_INTERFACES_TRUE@devref-configured-prolog-interface.latex-dir: \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@devref-language-interface.doxyconf \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(DEVREF_CONFIGURED_PROLOG_INTERFACE_STUFF) @BUILD_SOME_PROLOG_INTERFACES_TRUE@ rm -rf $@ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(SED) $(SED_CONFIGURED_PROLOG_OPTION) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(srcdir)/devref-language-interface.tex \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ > devref-configured-prolog-interface.tex @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(SED) $(SED_CONFIGURED_PROLOG_OPTION) $(SED_DEVREF_LATEX_OPTION) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ -e 's||'"$(SED_CONFIGURED_PROLOG_INPUT_DEVREF)"'|' \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $< > Doxyfile.devref-configured-prolog-interface-latex @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-configured-prolog-interface-latex @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-user-configured-prolog-interface-@VERSION@.pdf: \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@user-configured-prolog-interface.latex-dir @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(TEX_ENV) make -C $< refman.pdf && mv -f $ user-configured-prolog-interface.tex @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(SED) $(SED_CONFIGURED_PROLOG_OPTION) $(SED_USER_HTML_OPTION) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ -e 's||'"$(SED_CONFIGURED_PROLOG_INPUT_USER)"'|' \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $< > Doxyfile.user-configured-prolog-interface-html @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.user-configured-prolog-interface-html @BUILD_SOME_PROLOG_INTERFACES_TRUE@ (cd $@; $(INSTALLDOX) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ -l $(USER_CORE_HTML_DIR).tag@../$(USER_CORE_HTML_DIR)) @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-devref-configured-prolog-interface-@VERSION@-html: \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@devref-language-interface.doxyconf \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(DEVREF_CONFIGURED_PROLOG_INTERFACE_STUFF) $(DEVREF_CORE_HTML_DIR) @BUILD_SOME_PROLOG_INTERFACES_TRUE@ rm -rf $@ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(SED) $(SED_CONFIGURED_PROLOG_OPTION) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(srcdir)/devref-language-interface.tex \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ > devref-configured-prolog-interface.tex @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(SED) $(SED_CONFIGURED_PROLOG_OPTION) $(SED_DEVREF_HTML_OPTION) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ -e 's||'"$(SED_CONFIGURED_PROLOG_INPUT_DEVREF)"'|' \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $< > Doxyfile.devref-configured-prolog-interface-html @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-configured-prolog-interface-html @BUILD_SOME_PROLOG_INTERFACES_TRUE@ (cd $@; $(INSTALLDOX) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ -l $(DEVREF_CORE_HTML_DIR).tag@../$(DEVREF_CORE_HTML_DIR)) @BUILD_OCAML_INTERFACE_TRUE@user-configured-ocaml-interface.latex-dir: \ @BUILD_OCAML_INTERFACE_TRUE@user-language-interface.doxyconf \ @BUILD_OCAML_INTERFACE_TRUE@$(USER_CONFIGURED_OCAML_INTERFACE_STUFF) @BUILD_OCAML_INTERFACE_TRUE@ rm -rf $@ @BUILD_OCAML_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_OCAML_OPTION) \ @BUILD_OCAML_INTERFACE_TRUE@ $(srcdir)/user-language-interface.tex \ @BUILD_OCAML_INTERFACE_TRUE@ > user-configured-ocaml-interface.tex @BUILD_OCAML_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_OCAML_OPTION) $(SED_USER_LATEX_OPTION) \ @BUILD_OCAML_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_OCAML_INPUT_USER)"'|' \ @BUILD_OCAML_INTERFACE_TRUE@ $< > Doxyfile.user-configured-ocaml-interface-latex @BUILD_OCAML_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.user-configured-ocaml-interface-latex @BUILD_OCAML_INTERFACE_TRUE@ $(OCAMLDOC) $(OCAMLDOC_LATEX_OPTIONS) -o $@/ocamldoc.tex \ @BUILD_OCAML_INTERFACE_TRUE@ ../interfaces/OCaml/ppl_ocaml.mli @BUILD_OCAML_INTERFACE_TRUE@devref-configured-ocaml-interface.latex-dir: \ @BUILD_OCAML_INTERFACE_TRUE@devref-language-interface.doxyconf \ @BUILD_OCAML_INTERFACE_TRUE@$(DEVREF_CONFIGURED_OCAML_INTERFACE_STUFF) @BUILD_OCAML_INTERFACE_TRUE@ rm -rf $@ @BUILD_OCAML_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_OCAML_OPTION) \ @BUILD_OCAML_INTERFACE_TRUE@ $(srcdir)/devref-language-interface.tex \ @BUILD_OCAML_INTERFACE_TRUE@ > devref-configured-ocaml-interface.tex @BUILD_OCAML_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_OCAML_OPTION) $(SED_DEVREF_LATEX_OPTION) \ @BUILD_OCAML_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_OCAML_INPUT_DEVREF)"'|' \ @BUILD_OCAML_INTERFACE_TRUE@ $< > Doxyfile.devref-configured-ocaml-interface-latex @BUILD_OCAML_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-configured-ocaml-interface-latex @BUILD_OCAML_INTERFACE_TRUE@ $(OCAMLDOC) $(OCAMLDOC_LATEX_OPTIONS) -o $@/ocamldoc.tex \ @BUILD_OCAML_INTERFACE_TRUE@ ../interfaces/OCaml/ppl_ocaml.mli @BUILD_OCAML_INTERFACE_TRUE@ppl-user-configured-ocaml-interface-@VERSION@.pdf: \ @BUILD_OCAML_INTERFACE_TRUE@user-configured-ocaml-interface.latex-dir @BUILD_OCAML_INTERFACE_TRUE@ $(TEX_ENV) make -C $< refman.pdf && mv -f $ user-configured-ocaml-interface.tex @BUILD_OCAML_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_OCAML_OPTION) $(SED_USER_HTML_OPTION) \ @BUILD_OCAML_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_OCAML_INPUT_USER)"'|' \ @BUILD_OCAML_INTERFACE_TRUE@ $< > Doxyfile.user-configured-ocaml-interface-html @BUILD_OCAML_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.user-configured-ocaml-interface-html @BUILD_OCAML_INTERFACE_TRUE@ (cd $@; $(INSTALLDOX) \ @BUILD_OCAML_INTERFACE_TRUE@ -l $(USER_CORE_HTML_DIR).tag@../$(USER_CORE_HTML_DIR)) @BUILD_OCAML_INTERFACE_TRUE@ mkdir $@/ocamldoc @BUILD_OCAML_INTERFACE_TRUE@ $(OCAMLDOC) $(OCAMLDOC_HTML_OPTIONS) -d $@/ocamldoc \ @BUILD_OCAML_INTERFACE_TRUE@ ../interfaces/OCaml/ppl_ocaml.mli @BUILD_OCAML_INTERFACE_TRUE@ppl-devref-configured-ocaml-interface-@VERSION@-html: \ @BUILD_OCAML_INTERFACE_TRUE@devref-language-interface.doxyconf \ @BUILD_OCAML_INTERFACE_TRUE@$(DEVREF_CONFIGURED_OCAML_INTERFACE_STUFF) $(DEVREF_CORE_HTML_DIR) @BUILD_OCAML_INTERFACE_TRUE@ rm -rf $@ @BUILD_OCAML_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_OCAML_OPTION) \ @BUILD_OCAML_INTERFACE_TRUE@ $(srcdir)/devref-language-interface.tex \ @BUILD_OCAML_INTERFACE_TRUE@ > devref-configured-ocaml-interface.tex @BUILD_OCAML_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_OCAML_OPTION) $(SED_DEVREF_HTML_OPTION) \ @BUILD_OCAML_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_OCAML_INPUT_DEVREF)"'|' \ @BUILD_OCAML_INTERFACE_TRUE@ $< > Doxyfile.devref-configured-ocaml-interface-html @BUILD_OCAML_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-configured-ocaml-interface-html @BUILD_OCAML_INTERFACE_TRUE@ (cd $@; $(INSTALLDOX) \ @BUILD_OCAML_INTERFACE_TRUE@ -l $(DEVREF_CORE_HTML_DIR).tag@../$(DEVREF_CORE_HTML_DIR)) @BUILD_OCAML_INTERFACE_TRUE@ mkdir $@/ocamldoc @BUILD_OCAML_INTERFACE_TRUE@ $(OCAMLDOC) $(OCAMLDOC_HTML_OPTIONS) -d $@/ocamldoc \ @BUILD_OCAML_INTERFACE_TRUE@ ../interfaces/OCaml/ppl_ocaml.mli # FIXME add generated files # NOTE: as an exception to the common policy, # for the user-configured-java case we override the setting # for Doxygen configuration variables HIDE_UNDOC_MEMBERS (set to NO) # and EXCLUDE (set to Fake_Class_for_Doxygen.java) @BUILD_JAVA_INTERFACE_TRUE@user-configured-java-interface.latex-dir: \ @BUILD_JAVA_INTERFACE_TRUE@user-language-interface.doxyconf \ @BUILD_JAVA_INTERFACE_TRUE@$(USER_CONFIGURED_JAVA_INTERFACE_STUFF) @BUILD_JAVA_INTERFACE_TRUE@ rm -rf $@ @BUILD_JAVA_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_JAVA_OPTION) \ @BUILD_JAVA_INTERFACE_TRUE@ $(srcdir)/user-language-interface.tex \ @BUILD_JAVA_INTERFACE_TRUE@ > user-configured-java-interface.tex @BUILD_JAVA_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_JAVA_OPTION) $(SED_USER_LATEX_OPTION) \ @BUILD_JAVA_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_JAVA_INPUT_USER)"'|' \ @BUILD_JAVA_INTERFACE_TRUE@ $< > Doxyfile.user-configured-java-interface-latex @BUILD_JAVA_INTERFACE_TRUE@ echo "HIDE_UNDOC_MEMBERS = NO" \ @BUILD_JAVA_INTERFACE_TRUE@ >> Doxyfile.user-configured-java-interface-latex @BUILD_JAVA_INTERFACE_TRUE@ echo "EXCLUDE_PATTERNS = */Fake_Class_for_Doxygen*" \ @BUILD_JAVA_INTERFACE_TRUE@ >> Doxyfile.user-configured-java-interface-latex @BUILD_JAVA_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.user-configured-java-interface-latex @BUILD_JAVA_INTERFACE_TRUE@devref-configured-java-interface.latex-dir: \ @BUILD_JAVA_INTERFACE_TRUE@devref-language-interface.doxyconf \ @BUILD_JAVA_INTERFACE_TRUE@$(DEVREF_CONFIGURED_JAVA_INTERFACE_STUFF) @BUILD_JAVA_INTERFACE_TRUE@ rm -rf $@ @BUILD_JAVA_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_JAVA_OPTION) \ @BUILD_JAVA_INTERFACE_TRUE@ $(srcdir)/devref-language-interface.tex \ @BUILD_JAVA_INTERFACE_TRUE@ > devref-configured-java-interface.tex @BUILD_JAVA_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_JAVA_OPTION) $(SED_DEVREF_LATEX_OPTION) \ @BUILD_JAVA_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_JAVA_INPUT_DEVREF)"'|' \ @BUILD_JAVA_INTERFACE_TRUE@ $< > Doxyfile.devref-configured-java-interface-latex @BUILD_JAVA_INTERFACE_TRUE@ echo "EXCLUDE_PATTERNS = */Fake_Class_for_Doxygen*" \ @BUILD_JAVA_INTERFACE_TRUE@ >> Doxyfile.devref-configured-java-interface-latex @BUILD_JAVA_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-configured-java-interface-latex @BUILD_JAVA_INTERFACE_TRUE@ppl-user-configured-java-interface-@VERSION@.pdf: \ @BUILD_JAVA_INTERFACE_TRUE@user-configured-java-interface.latex-dir @BUILD_JAVA_INTERFACE_TRUE@ $(TEX_ENV) make -C $< refman.pdf && mv -f $ user-configured-java-interface.tex @BUILD_JAVA_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_JAVA_OPTION) $(SED_USER_HTML_OPTION) \ @BUILD_JAVA_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_JAVA_INPUT_USER)"'|' \ @BUILD_JAVA_INTERFACE_TRUE@ $< > Doxyfile.user-configured-java-interface-html @BUILD_JAVA_INTERFACE_TRUE@ echo "HIDE_UNDOC_MEMBERS = NO" \ @BUILD_JAVA_INTERFACE_TRUE@ >> Doxyfile.user-configured-java-interface-html @BUILD_JAVA_INTERFACE_TRUE@ echo "EXCLUDE_PATTERNS = */Fake_Class_for_Doxygen*" \ @BUILD_JAVA_INTERFACE_TRUE@ >> Doxyfile.user-configured-java-interface-html @BUILD_JAVA_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.user-configured-java-interface-html @BUILD_JAVA_INTERFACE_TRUE@ (cd $@; $(INSTALLDOX) \ @BUILD_JAVA_INTERFACE_TRUE@ -l $(USER_CORE_HTML_DIR).tag@../$(USER_CORE_HTML_DIR)) @BUILD_JAVA_INTERFACE_TRUE@ppl-devref-configured-java-interface-@VERSION@-html: \ @BUILD_JAVA_INTERFACE_TRUE@devref-language-interface.doxyconf \ @BUILD_JAVA_INTERFACE_TRUE@$(DEVREF_CONFIGURED_JAVA_INTERFACE_STUFF) $(DEVREF_CORE_HTML_DIR) @BUILD_JAVA_INTERFACE_TRUE@ rm -rf $@ @BUILD_JAVA_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_JAVA_OPTION) \ @BUILD_JAVA_INTERFACE_TRUE@ $(srcdir)/devref-language-interface.tex \ @BUILD_JAVA_INTERFACE_TRUE@ > devref-configured-java-interface.tex @BUILD_JAVA_INTERFACE_TRUE@ $(SED) $(SED_CONFIGURED_JAVA_OPTION) $(SED_DEVREF_HTML_OPTION) \ @BUILD_JAVA_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_JAVA_INPUT_DEVREF)"'|' \ @BUILD_JAVA_INTERFACE_TRUE@ $< > Doxyfile.devref-configured-java-interface-html @BUILD_JAVA_INTERFACE_TRUE@ echo "EXCLUDE_PATTERNS = */Fake_Class_for_Doxygen*" \ @BUILD_JAVA_INTERFACE_TRUE@ >> Doxyfile.devref-configured-java-interface-html @BUILD_JAVA_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-configured-java-interface-html @BUILD_JAVA_INTERFACE_TRUE@ (cd $@; $(INSTALLDOX) \ @BUILD_JAVA_INTERFACE_TRUE@ -l $(DEVREF_CORE_HTML_DIR).tag@../$(DEVREF_CORE_HTML_DIR)) ############################################################################ # Ad-hoc rules for distributed HTML manuals. # These follow the guidelines of Section 27.5 of the Automake manual # (distributed files should never depend upon non-distributed built files). $(USER_CORE_HTML_MANUAL): user.doxyconf-html $(USER_CORE_STUFF) $(MAKE) $(AM_MAKEFLAGS) $(USER_CORE_HTML_DIR) tar c $(USER_CORE_HTML_DIR) | gzip --best --force > $@ $(USER_C_INTERFACE_HTML_MANUAL): $(USER_CORE_HTML_MANUAL) \ user-language-interface.doxyconf $(USER_C_INTERFACE_STUFF) $(MAKE) $(AM_MAKEFLAGS) $(USER_C_INTERFACE_HTML_DIR) tar c $(USER_C_INTERFACE_HTML_DIR) | gzip --best --force > $@ $(USER_PROLOG_INTERFACE_HTML_MANUAL): $(USER_CORE_HTML_MANUAL) \ user-language-interface.doxyconf $(USER_PROLOG_INTERFACE_STUFF) $(MAKE) $(AM_MAKEFLAGS) $(USER_PROLOG_INTERFACE_HTML_DIR) tar c $(USER_PROLOG_INTERFACE_HTML_DIR) | gzip --best --force > $@ $(USER_OCAML_INTERFACE_HTML_MANUAL): $(USER_CORE_HTML_MANUAL) \ user-language-interface.doxyconf $(USER_OCAML_INTERFACE_STUFF) $(MAKE) $(AM_MAKEFLAGS) $(USER_OCAML_INTERFACE_HTML_DIR) tar c $(USER_OCAML_INTERFACE_HTML_DIR) | gzip --best --force > $@ $(USER_JAVA_INTERFACE_HTML_MANUAL): $(USER_CORE_HTML_MANUAL) \ user-language-interface.doxyconf $(USER_JAVA_INTERFACE_STUFF) $(MAKE) $(AM_MAKEFLAGS) $(USER_JAVA_INTERFACE_HTML_DIR) tar c $(USER_JAVA_INTERFACE_HTML_DIR) | gzip --best --force > $@ ############################################################################ %.tar: % tar cf $@ $< %.gz: % gzip --best --force $< %.pdf: %.tex $(TEX_ENV) pdflatex $< %.ps: %.pdf pdftops $< $@ mostlyclean-local: rm -rf $(HTML_DIRS) $(LATEX_DIRS) $(NONDIST_MANUALS) *.aux *.log rm -rf $(GENERATED_LATEX_HEADER_FILES) Doxyfile.* ../src/ppl_include_files.hh: $(MAKE) $(AM_MAKEFLAGS) -C ../src ppl_include_files.hh # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. .NOEXPORT: