# Makefile.in generated by automake 1.14.1 from Makefile.am. # @configure_input@ # Copyright (C) 1994-2013 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-2016 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://bugseng.com/products/ppl/ . VPATH = @srcdir@ am__is_gnu_make = test -n '$(MAKEFILE_LIST)' && test -n '$(MAKELEVEL)' am__make_running_with_option = \ case $${target_option-} in \ ?) ;; \ *) echo "am__make_running_with_option: internal error: invalid" \ "target option '$${target_option-}' specified" >&2; \ exit 1;; \ esac; \ has_opt=no; \ sane_makeflags=$$MAKEFLAGS; \ if $(am__is_gnu_make); then \ sane_makeflags=$$MFLAGS; \ else \ case $$MAKEFLAGS in \ *\\[\ \ ]*) \ bs=\\; \ sane_makeflags=`printf '%s\n' "$$MAKEFLAGS" \ | sed "s/$$bs$$bs[$$bs $$bs ]*//g"`;; \ esac; \ fi; \ skip_next=no; \ strip_trailopt () \ { \ flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \ }; \ for flg in $$sane_makeflags; do \ test $$skip_next = yes && { skip_next=no; continue; }; \ case $$flg in \ *=*|--*) continue;; \ -*I) strip_trailopt 'I'; skip_next=yes;; \ -*I?*) strip_trailopt 'I';; \ -*O) strip_trailopt 'O'; skip_next=yes;; \ -*O?*) strip_trailopt 'O';; \ -*l) strip_trailopt 'l'; skip_next=yes;; \ -*l?*) strip_trailopt 'l';; \ -[dEDm]) skip_next=yes;; \ -[JT]) skip_next=yes;; \ esac; \ case $$flg in \ *$$target_option*) has_opt=yes; break;; \ esac; \ done; \ test $$has_opt = yes am__make_dryrun = (target_option=n; $(am__make_running_with_option)) am__make_keepgoing = (target_option=k; $(am__make_running_with_option)) 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 = $(srcdir)/Makefile.in $(srcdir)/Makefile.am \ $(top_srcdir)/mkinstalldirs $(srcdir)/user.doxyconf-latex.in \ $(srcdir)/devref.doxyconf-latex.in \ $(srcdir)/user.doxyconf-html.in \ $(srcdir)/devref.doxyconf-html.in \ $(srcdir)/user-language-interface.doxyconf.in \ $(srcdir)/devref-language-interface.doxyconf.in \ $(dist_man_MANS) ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 am__aclocal_m4_deps = $(top_srcdir)/m4/ac_check_ciao.m4 \ $(top_srcdir)/m4/ac_check_cxx11.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_float_binary_format.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_plain_char_is_signed.m4 \ $(top_srcdir)/m4/ac_cxx_proper_long_double.m4 \ $(top_srcdir)/m4/ac_cxx_zero_length_arrays.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/ac_use_libtool.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_P = $(am__v_P_@AM_V@) am__v_P_ = $(am__v_P_@AM_DEFAULT_V@) am__v_P_0 = false am__v_P_1 = : AM_V_GEN = $(am__v_GEN_@AM_V@) am__v_GEN_ = $(am__v_GEN_@AM_DEFAULT_V@) am__v_GEN_0 = @echo " GEN " $@; am__v_GEN_1 = AM_V_at = $(am__v_at_@AM_V@) am__v_at_ = $(am__v_at_@AM_DEFAULT_V@) am__v_at_0 = @ am__v_at_1 = SOURCES = DIST_SOURCES = am__can_run_installinfo = \ case $$AM_UPDATE_INFO_DIR in \ n|no|NO) false;; \ *) (install-info --version) >/dev/null 2>&1;; \ esac 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' am__uninstall_files_from_dir = { \ test -z "$$files" \ || { test ! -d "$$dir" && test ! -f "$$dir" && test ! -r "$$dir"; } \ || { echo " ( cd '$$dir' && rm -f" $$files ")"; \ $(am__cd) "$$dir" && rm -f $$files; }; \ } man1dir = $(mandir)/man1 am__installdirs = "$(DESTDIR)$(man1dir)" "$(DESTDIR)$(man3dir)" man3dir = $(mandir)/man3 NROFF = nroff MANS = $(dist_man_MANS) am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) $(LISP) 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@ DLLTOOL = @DLLTOOL@ 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@ LIBOBJS = @LIBOBJS@ LIBS = @LIBS@ LIBTOOL = @LIBTOOL@ LIPO = @LIPO@ LN_S = @LN_S@ LTLIBOBJS = @LTLIBOBJS@ M4 = @M4@ M4_DEBUGFILE = @M4_DEBUGFILE@ MAKEINFO = @MAKEINFO@ MANIFEST_TOOL = @MANIFEST_TOOL@ 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_AR = @ac_ct_AR@ 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@ 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 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) BIBLIOGRAPHIES = \ ppl.bib \ ppl_citations.bib ##### 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 # NOTE: this variable is used to record Makefile dependencies. # The file path is that of the source directory. DOX_LICENSE_FILES = \ gpl.dox \ fdl.dox # NOTE: this variable is used to populate Doxygen configuration tag INPUT. # The file path is that of the build directory, hence we cannot use # variable DOX_LICENSE_FILES defined above. DOX_LICENSE_INPUT = \ $(srcdir)/gpl.dox \ $(srcdir)/fdl.dox DOX_FILES = \ $(DOX_LICENSE_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_LICENSE_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@PROLOG_INTERFACE_ADDITIONAL_DOX_PAGES = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/Prolog_interface_sysindep.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/Prolog_interface_sysindep_domains.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/Prolog_interface_compilation.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/Prolog_interface_sysdep.dox @BUILD_SOME_PROLOG_INTERFACES_TRUE@USER_PROLOG_INTERFACE_STUFF = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(DOX_LICENSE_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@$(PROLOG_INTERFACE_ADDITIONAL_DOX_PAGES) @BUILD_SOME_PROLOG_INTERFACES_TRUE@DEVREF_PROLOG_INTERFACE_STUFF = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(DOX_LICENSE_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@$(PROLOG_INTERFACE_ADDITIONAL_DOX_PAGES) \ @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_LICENSE_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_configured_interface.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(PROLOG_INTERFACE_ADDITIONAL_DOX_PAGES) @BUILD_SOME_PROLOG_INTERFACES_TRUE@DEVREF_CONFIGURED_PROLOG_INTERFACE_STUFF = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(DOX_LICENSE_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_configured_interface.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(PROLOG_INTERFACE_ADDITIONAL_DOX_PAGES) \ @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_LICENSE_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_LICENSE_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_LICENSE_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_LICENSE_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) @BUILD_DOCUMENTATION_FALSE@CONTINUE_IF_NO_DOC = continue @BUILD_DOCUMENTATION_TRUE@CONTINUE_IF_NO_DOC = false 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|' SED_DEVREF_HTML_OPTION = $(SED_HTML_OPTION) \ -e 's||ppl-devref-@VERSION@-html.tag=../ppl-devref-@VERSION@-html|' 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 = \ $(DOX_LICENSE_INPUT) \ ../interfaces/C/ppl_c_version.h \ $(srcdir)/../interfaces/C/ppl_c_header.h \ $(srcdir)/../interfaces/C/C_interface.dox SED_C_INPUT_DEVREF = \ $(DOX_LICENSE_INPUT) \ ../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 # (System Independent) Prolog Language Interface Targets SED_PROLOG_OPTION = \ -e 's///' \ -e 's//Prolog/' \ -e 's//prolog-interface/' \ -e 's///' SED_PROLOG_INPUT_USER = \ $(DOX_LICENSE_INPUT) \ $(srcdir)/../interfaces/Prolog/Prolog_interface.dox \ $(srcdir)/../interfaces/Prolog/Prolog_interface_sysindep.dox \ $(srcdir)/../interfaces/Prolog/Prolog_interface_sysindep_domains.dox \ $(srcdir)/../interfaces/Prolog/Prolog_interface_compilation.dox \ $(srcdir)/../interfaces/Prolog/Prolog_interface_sysdep.dox SED_PROLOG_INPUT_DEVREF = \ $(DOX_LICENSE_INPUT) \ $(srcdir)/../interfaces/Prolog/Prolog_interface.dox \ $(srcdir)/../interfaces/Prolog/Prolog_interface_sysindep.dox \ $(srcdir)/../interfaces/Prolog/Prolog_interface_sysindep_domains.dox \ $(srcdir)/../interfaces/Prolog/Prolog_interface_compilation.dox \ $(srcdir)/../interfaces/Prolog/Prolog_interface_sysdep.dox \ $(srcdir)/../interfaces/Prolog/ppl_prolog_common_defs.hh \ $(srcdir)/../interfaces/Prolog/ppl_prolog_common_inlines.hh \ $(srcdir)/../interfaces/Prolog/ppl_prolog_common.cc # OCaml Language Interface Targets SED_OCAML_OPTION = \ -e 's///' \ -e 's//OCaml/' \ -e 's//ocaml-interface/' \ -e 's//\\usepackage{ocamldoc}/' SED_OCAML_INPUT_USER = \ $(DOX_LICENSE_INPUT) \ $(srcdir)/../interfaces/OCaml/OCaml_interface.dox SED_OCAML_INPUT_DEVREF = \ $(DOX_LICENSE_INPUT) \ $(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 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 = \ $(DOX_LICENSE_INPUT) \ $(srcdir)/../interfaces/Java/parma_polyhedra_library SED_JAVA_INPUT_DEVREF = \ $(DOX_LICENSE_INPUT) \ $(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 ############################################################################ ##### 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@$(DOX_LICENSE_INPUT) \ @BUILD_C_INTERFACE_TRUE@$(srcdir)/../interfaces/C/C_interface.dox \ @BUILD_C_INTERFACE_TRUE@../interfaces/C/ppl_c.h @BUILD_C_INTERFACE_TRUE@SED_CONFIGURED_C_INPUT_DEVREF = \ @BUILD_C_INTERFACE_TRUE@$(DOX_LICENSE_INPUT) \ @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 # 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@$(DOX_LICENSE_INPUT) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/../interfaces/Prolog/Prolog_configured_interface.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/../interfaces/Prolog/Prolog_interface_sysindep.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/Prolog_configured_domains.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/../interfaces/Prolog/Prolog_interface_compilation.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/../interfaces/Prolog/Prolog_interface_sysdep.dox @BUILD_SOME_PROLOG_INTERFACES_TRUE@SED_CONFIGURED_PROLOG_INPUT_DEVREF = \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(DOX_LICENSE_INPUT) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/../interfaces/Prolog/Prolog_configured_interface.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/../interfaces/Prolog/Prolog_interface_sysindep.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@../interfaces/Prolog/Prolog_configured_domains.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/../interfaces/Prolog/Prolog_interface_compilation.dox \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(srcdir)/../interfaces/Prolog/Prolog_interface_sysdep.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 # 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@$(DOX_LICENSE_INPUT) \ @BUILD_OCAML_INTERFACE_TRUE@$(srcdir)/../interfaces/OCaml/OCaml_interface.dox @BUILD_OCAML_INTERFACE_TRUE@SED_CONFIGURED_OCAML_INPUT_DEVREF = \ @BUILD_OCAML_INTERFACE_TRUE@$(DOX_LICENSE_INPUT) \ @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 # 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 = \ $(BIBLIOGRAPHIES) \ $(DIST_DOCS) \ $(DOX_FILES) \ README.doc \ bugseng_logo.pdf \ devref-language-interface.tex \ devref.tex \ fdl.tex \ gpl.tex \ interfaces-html.sed \ interfaces-latex.sed \ ppl.sty \ ppl_logo.pdf \ ppl_logo_no_ppl.pdf \ 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) @list1=''; \ list2='$(dist_man_MANS)'; \ test -n "$(man1dir)" \ && test -n "`echo $$list1$$list2`" \ || exit 0; \ echo " $(MKDIR_P) '$(DESTDIR)$(man1dir)'"; \ $(MKDIR_P) "$(DESTDIR)$(man1dir)" || exit 1; \ { for i in $$list1; do echo "$$i"; done; \ if test -n "$$list2"; then \ for i in $$list2; do echo "$$i"; done \ | sed -n '/\.1[a-z]*$$/p'; \ fi; \ } | 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,.,'`; \ dir='$(DESTDIR)$(man1dir)'; $(am__uninstall_files_from_dir) install-man3: $(dist_man_MANS) @$(NORMAL_INSTALL) @list1=''; \ list2='$(dist_man_MANS)'; \ test -n "$(man3dir)" \ && test -n "`echo $$list1$$list2`" \ || exit 0; \ echo " $(MKDIR_P) '$(DESTDIR)$(man3dir)'"; \ $(MKDIR_P) "$(DESTDIR)$(man3dir)" || exit 1; \ { for i in $$list1; do echo "$$i"; done; \ if test -n "$$list2"; then \ for i in $$list2; do echo "$$i"; done \ | sed -n '/\.3[a-z]*$$/p'; \ fi; \ } | 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,.,'`; \ dir='$(DESTDIR)$(man3dir)'; $(am__uninstall_files_from_dir) tags TAGS: ctags CTAGS: cscope cscopelist: distdir: $(DISTFILES) @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: if test -z '$(STRIP)'; then \ $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \ install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \ install; \ else \ $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \ install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \ "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'" install; \ fi 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 \ cscopelist-am ctags-am 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 tags-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 \ || $(CONTINUE_IF_NO_DOC) || $(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 \ || $(CONTINUE_IF_NO_DOC) || $(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. # The PostScript documentation is obtained from the PDF one; # the dependency is needed so as to make sure the PDF documentation # is fully built before the conversion is performed. install-ps: install-pdf $(mkinstalldirs) $(DESTDIR)$(psdir) for file in $(INSTALL_PS_DOCS); do \ test -f $$file || test -f $(srcdir)/$$file \ || $(CONTINUE_IF_NO_DOC) || $(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 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 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) user.doxyconf-latex devref.latex-dir: devref.doxyconf-latex $(DEVREF_CORE_STUFF) rm -rf $@ $(TEX_ENV) $(DOXYGEN) devref.doxyconf-latex ppl-user-@VERSION@.pdf: user.latex-dir $(TEX_ENV) make -C user.latex-dir refman.pdf \ && mv -f user.latex-dir/refman.pdf $@ ppl-devref-@VERSION@.pdf: devref.latex-dir $(TEX_ENV) make -C devref.latex-dir refman.pdf \ && mv -f devref.latex-dir/refman.pdf $@ $(USER_CORE_HTML_DIR): user.doxyconf-html $(USER_CORE_STUFF) rm -rf $@ $(TEX_ENV) $(DOXYGEN) user.doxyconf-html $(DEVREF_CORE_HTML_DIR): devref.doxyconf-html $(DEVREF_CORE_STUFF) rm -rf $@ $(TEX_ENV) $(DOXYGEN) devref.doxyconf-html user-c-interface.latex-dir: \ user-language-interface.doxyconf \ $(USER_C_INTERFACE_STUFF) rm -rf $@ $(SED) $(SED_C_OPTION) \ $(srcdir)/user-language-interface.tex \ > user-c-interface.tex $(SED) $(SED_C_OPTION) $(SED_USER_LATEX_OPTION) \ -e 's||'"$(SED_C_INPUT_USER)"'|' \ user-language-interface.doxyconf \ > 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)"'|' \ devref-language-interface.doxyconf \ > 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 user-c-interface.latex-dir refman.pdf \ && mv -f user-c-interface.latex-dir/refman.pdf $@ ppl-devref-c-interface-@VERSION@.pdf: devref-c-interface.latex-dir $(TEX_ENV) make -C devref-c-interface.latex-dir refman.pdf \ && mv -f devref-c-interface.latex-dir/refman.pdf $@ ppl-user-c-interface-@VERSION@-html: \ user-language-interface.doxyconf \ $(USER_C_INTERFACE_STUFF) $(USER_CORE_HTML_DIR) rm -rf $@ $(SED) $(SED_C_OPTION) \ $(srcdir)/user-language-interface.tex \ > user-c-interface.tex $(SED) $(SED_C_OPTION) $(SED_USER_HTML_OPTION) \ -e 's||'"$(SED_C_INPUT_USER)"'|' \ user-language-interface.doxyconf \ > Doxyfile.user-c-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.user-c-interface-html 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)"'|' \ devref-language-interface.doxyconf \ > Doxyfile.devref-c-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-c-interface-html 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)"'|' \ user-language-interface.doxyconf \ > 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)"'|' \ devref-language-interface.doxyconf \ > 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 user-prolog-interface.latex-dir refman.pdf \ && mv -f user-prolog-interface.latex-dir/refman.pdf $@ ppl-devref-prolog-interface-@VERSION@.pdf: devref-prolog-interface.latex-dir $(TEX_ENV) make -C devref-prolog-interface.latex-dir refman.pdf \ && mv -f devref-prolog-interface.latex-dir/refman.pdf $@ ppl-user-prolog-interface-@VERSION@-html: \ user-language-interface.doxyconf \ $(USER_PROLOG_INTERFACE_STUFF) $(USER_CORE_HTML_DIR) rm -rf $@ $(SED) $(SED_PROLOG_OPTION) \ $(srcdir)/user-language-interface.tex \ > user-prolog-interface.tex $(SED) $(SED_PROLOG_OPTION) $(SED_USER_HTML_OPTION) \ -e 's||'"$(SED_PROLOG_INPUT_USER)"'|' \ user-language-interface.doxyconf \ > Doxyfile.user-prolog-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.user-prolog-interface-html 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)"'|' \ devref-language-interface.doxyconf > \ Doxyfile.devref-prolog-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-prolog-interface-html 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)"'|' \ user-language-interface.doxyconf > \ 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)"'|' \ devref-language-interface.doxyconf \ > 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 user-ocaml-interface.latex-dir refman.pdf \ && mv -f user-ocaml-interface.latex-dir/refman.pdf $@ ppl-devref-ocaml-interface-@VERSION@.pdf: devref-ocaml-interface.latex-dir $(TEX_ENV) make -C devref-ocaml-interface.latex-dir refman.pdf \ && mv -f devref-ocaml-interface.latex-dir/refman.pdf $@ ppl-user-ocaml-interface-@VERSION@-html: \ user-language-interface.doxyconf \ $(USER_OCAML_INTERFACE_STUFF) $(USER_CORE_HTML_DIR) rm -rf $@ $(SED) $(SED_OCAML_OPTION) \ $(srcdir)/user-language-interface.tex \ > user-ocaml-interface.tex $(SED) $(SED_OCAML_OPTION) $(SED_USER_HTML_OPTION) \ -e 's||'"$(SED_OCAML_INPUT_USER)"'|' \ user-language-interface.doxyconf \ > Doxyfile.user-ocaml-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.user-ocaml-interface-html 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)"'|' \ devref-language-interface.doxyconf \ > Doxyfile.devref-ocaml-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-ocaml-interface-html 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)"'|' \ user-language-interface.doxyconf \ > 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)"'|' \ devref-language-interface.doxyconf \ > 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 user-java-interface.latex-dir refman.pdf \ && mv -f user-java-interface.latex-dir/refman.pdf $@ ppl-devref-java-interface-@VERSION@.pdf: devref-java-interface.latex-dir $(TEX_ENV) make -C devref-java-interface.latex-dir refman.pdf \ && mv -f devref-java-interface.latex-dir/refman.pdf $@ ppl-user-java-interface-@VERSION@-html: \ user-language-interface.doxyconf \ $(USER_JAVA_INTERFACE_STUFF) $(USER_CORE_HTML_DIR) rm -rf $@ $(SED) $(SED_JAVA_OPTION) \ $(srcdir)/user-language-interface.tex \ > user-java-interface.tex $(SED) $(SED_JAVA_OPTION) $(SED_USER_HTML_OPTION) \ -e 's||'"$(SED_JAVA_INPUT_USER)"'|' \ user-language-interface.doxyconf \ > Doxyfile.user-java-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.user-java-interface-html 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)"'|' \ devref-language-interface.doxyconf \ > Doxyfile.devref-java-interface-html $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-java-interface-html # 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@ user-language-interface.doxyconf \ @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@ devref-language-interface.doxyconf \ @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 user-configured-c-interface.latex-dir refman.pdf \ @BUILD_C_INTERFACE_TRUE@ && mv -f user-configured-c-interface.latex-dir/refman.pdf $@ @BUILD_C_INTERFACE_TRUE@ppl-devref-configured-c-interface-@VERSION@.pdf: \ @BUILD_C_INTERFACE_TRUE@devref-configured-c-interface.latex-dir @BUILD_C_INTERFACE_TRUE@ $(TEX_ENV) make -C devref-configured-c-interface.latex-dir refman.pdf \ @BUILD_C_INTERFACE_TRUE@ && mv -f devref-configured-c-interface.latex-dir/refman.pdf $@ @BUILD_C_INTERFACE_TRUE@ppl-user-configured-c-interface-@VERSION@-html: \ @BUILD_C_INTERFACE_TRUE@user-language-interface.doxyconf \ @BUILD_C_INTERFACE_TRUE@$(USER_CONFIGURED_C_INTERFACE_STUFF) $(USER_CORE_HTML_DIR) @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_HTML_OPTION) \ @BUILD_C_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_C_INPUT_USER)"'|' \ @BUILD_C_INTERFACE_TRUE@ user-language-interface.doxyconf \ @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@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@ devref-language-interface.doxyconf \ @BUILD_C_INTERFACE_TRUE@ > Doxyfile.devref-configured-c-interface-html @BUILD_C_INTERFACE_TRUE@ $(TEX_ENV) $(DOXYGEN) Doxyfile.devref-configured-c-interface-html # 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@ user-language-interface.doxyconf \ @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@ devref-language-interface.doxyconf \ @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 user-configured-prolog-interface.latex-dir \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ refman.pdf \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ && mv -f user-configured-prolog-interface.latex-dir/refman.pdf $@ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-devref-configured-prolog-interface-@VERSION@.pdf: \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@devref-configured-prolog-interface.latex-dir @BUILD_SOME_PROLOG_INTERFACES_TRUE@ $(TEX_ENV) make -C devref-configured-prolog-interface.latex-dir \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ refman.pdf \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ && mv -f devref-configured-prolog-interface.latex-dir/refman.pdf $@ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ppl-user-configured-prolog-interface-@VERSION@-html: \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@user-language-interface.doxyconf \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@$(USER_CONFIGURED_PROLOG_INTERFACE_STUFF) $(USER_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)/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_HTML_OPTION) \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ -e 's||'"$(SED_CONFIGURED_PROLOG_INPUT_USER)"'|' \ @BUILD_SOME_PROLOG_INTERFACES_TRUE@ user-language-interface.doxyconf \ @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@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@ devref-language-interface.doxyconf \ @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_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@ user-language-interface.doxyconf \ @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@ devref-language-interface.doxyconf \ @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 user-configured-ocaml-interface.latex-dir \ @BUILD_OCAML_INTERFACE_TRUE@ refman.pdf \ @BUILD_OCAML_INTERFACE_TRUE@ && mv -f user-configured-ocaml-interface.latex-dir/refman.pdf $@ @BUILD_OCAML_INTERFACE_TRUE@ppl-devref-configured-ocaml-interface-@VERSION@.pdf: \ @BUILD_OCAML_INTERFACE_TRUE@devref-configured-ocaml-interface.latex-dir @BUILD_OCAML_INTERFACE_TRUE@ $(TEX_ENV) make -C devref-configured-ocaml-interface.latex-dir \ @BUILD_OCAML_INTERFACE_TRUE@ refman.pdf \ @BUILD_OCAML_INTERFACE_TRUE@ && mv -f devref-configured-ocaml-interface.latex-dir/refman.pdf $@ @BUILD_OCAML_INTERFACE_TRUE@ppl-user-configured-ocaml-interface-@VERSION@-html: \ @BUILD_OCAML_INTERFACE_TRUE@user-language-interface.doxyconf \ @BUILD_OCAML_INTERFACE_TRUE@$(USER_CONFIGURED_OCAML_INTERFACE_STUFF) $(USER_CORE_HTML_DIR) @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_HTML_OPTION) \ @BUILD_OCAML_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_OCAML_INPUT_USER)"'|' \ @BUILD_OCAML_INTERFACE_TRUE@ user-language-interface.doxyconf \ @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@ 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@ devref-language-interface.doxyconf \ @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@ 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@ user-language-interface.doxyconf \ @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@ devref-language-interface.doxyconf \ @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 user-configured-java-interface.latex-dir \ @BUILD_JAVA_INTERFACE_TRUE@ refman.pdf \ @BUILD_JAVA_INTERFACE_TRUE@ && mv -f user-configured-java-interface.latex-dir/refman.pdf $@ @BUILD_JAVA_INTERFACE_TRUE@ppl-devref-configured-java-interface-@VERSION@.pdf: \ @BUILD_JAVA_INTERFACE_TRUE@devref-configured-java-interface.latex-dir @BUILD_JAVA_INTERFACE_TRUE@ $(TEX_ENV) make -C devref-configured-java-interface.latex-dir \ @BUILD_JAVA_INTERFACE_TRUE@ refman.pdf \ @BUILD_JAVA_INTERFACE_TRUE@ && mv -f devref-configured-java-interface.latex-dir/refman.pdf $@ @BUILD_JAVA_INTERFACE_TRUE@ppl-user-configured-java-interface-@VERSION@-html: \ @BUILD_JAVA_INTERFACE_TRUE@user-language-interface.doxyconf \ @BUILD_JAVA_INTERFACE_TRUE@$(USER_CONFIGURED_JAVA_INTERFACE_STUFF) $(USER_CORE_HTML_DIR) @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_HTML_OPTION) \ @BUILD_JAVA_INTERFACE_TRUE@ -e 's||'"$(SED_CONFIGURED_JAVA_INPUT_USER)"'|' \ @BUILD_JAVA_INTERFACE_TRUE@ user-language-interface.doxyconf \ @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@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@ devref-language-interface.doxyconf \ @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 ############################################################################ # 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: