1m4_define(`dnl', `m4_dnl')`'dnl 2m4_divert(-1) 3 4dnl This m4 file generates the file ppl_xsb.cc. 5dnl Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> 6dnl Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com) 7dnl 8dnl This file is part of the Parma Polyhedra Library (PPL). 9dnl 10dnl The PPL is free software; you can redistribute it and/or modify it 11dnl under the terms of the GNU General Public License as published by the 12dnl Free Software Foundation; either version 3 of the License, or (at your 13dnl option) any later version. 14dnl 15dnl The PPL is distributed in the hope that it will be useful, but WITHOUT 16dnl ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 17dnl FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 18dnl for more details. 19dnl 20dnl You should have received a copy of the GNU General Public License 21dnl along with this program; if not, write to the Free Software Foundation, 22dnl Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. 23dnl 24dnl For the most up-to-date information see the Parma Polyhedra Library 25dnl site: http://bugseng.com/products/ppl/ . 26 27m4_include(`ppl_interface_generator_prolog_systems.m4') 28 29m4_divert`'dnl 30/* XSB Prolog interface. 31m4_include(`ppl_interface_generator_copyright')dnl 32*/ 33 34m4_divert`'dnl 35m4_define(`m4_expanded_procedure_schema', `#define $1 xsb_stub_$1 36')dnl 37ppl_prolog_sys_code`'dnl 38dnl 39dnl End of file generation. 40