scan.cc: set_parameter_bounds: use isl_val
[pet.git] / configure.ac
blobbde64c38191fbe0d57147182b9eab99408fe8083
1 AC_INIT([pet], [0.03], [isl-development@googlegroups.com])
2 AC_CONFIG_AUX_DIR([build-aux])
3 AC_CONFIG_MACRO_DIR([m4])
4 AM_INIT_AUTOMAKE([foreign])
5 m4_ifdef([AM_SILENT_RULES],[AM_SILENT_RULES([yes])])
6 AC_SUBST(versioninfo)
7 versioninfo=3:0:0
9 AC_PROG_CC
10 AC_PROG_CXX
11 AC_PROG_LIBTOOL
13 AC_SUBST(CLANG_CXXFLAGS)
14 AC_SUBST(CLANG_LDFLAGS)
15 AC_SUBST(CLANG_LIBS)
16 AX_SUBMODULE(clang,system,system)
17 llvm_config="llvm-config"
18 AC_CHECK_PROG([llvm_config_found], ["$llvm_config"], [yes])
19 if test "x$with_clang_prefix" != "x"; then
20         llvm_config="$with_clang_prefix/bin/llvm-config"
21         if test -x "$llvm_config"; then
22                 llvm_config_found=yes
23         fi
25 if test "$llvm_config_found" != yes; then
26         AC_MSG_ERROR([llvm-config not found])
28 CLANG_CXXFLAGS=`$llvm_config --cxxflags`
29 CLANG_LDFLAGS=`$llvm_config --ldflags`
30 targets=`$llvm_config --targets-built`
31 CLANG_LIBS=`$llvm_config --libs $targets asmparser support mc`
32 CLANG_PREFIX=`$llvm_config --prefix`
33 AC_DEFINE_UNQUOTED(CLANG_PREFIX, ["$CLANG_PREFIX"], [Clang installation prefix])
35 SAVE_CPPFLAGS="$CPPFLAGS"
36 CPPFLAGS="$CLANG_CXXFLAGS $CPPFLAGS"
37 AC_LANG_PUSH(C++)
38 AC_CHECK_HEADER([clang/Basic/SourceLocation.h], [],
39         [AC_ERROR([clang header file not found])])
40 AC_EGREP_HEADER([getDefaultTargetTriple], [llvm/Support/Host.h], [],
41         [AC_DEFINE([getDefaultTargetTriple], [getHostTriple],
42         [Define to getHostTriple for older versions of clang])])
43 AC_EGREP_HEADER([getExpansionLineNumber], [clang/Basic/SourceLocation.h], [],
44         [AC_DEFINE([getExpansionLineNumber], [getInstantiationLineNumber],
45         [Define to getInstantiationLineNumber for older versions of clang])])
46 AC_EGREP_HEADER([getExpansionLoc], [clang/Basic/SourceManager.h], [],
47         [AC_DEFINE([getExpansionLoc], [getInstantiationLoc],
48         [Define to getInstantiationLoc for older versions of clang])])
49 AC_EGREP_HEADER([DiagnosticConsumer], [clang/Basic/Diagnostic.h], [],
50         [AC_DEFINE([DiagnosticConsumer], [DiagnosticClient],
51         [Define to DiagnosticClient for older versions of clang])])
52 AC_EGREP_HEADER([DiagnosticsEngine], [clang/Basic/Diagnostic.h],
53         [AC_DEFINE([DiagnosticInfo], [Diagnostic],
54         [Define to Diagnostic for newer versions of clang])],
55         [AC_DEFINE([DiagnosticsEngine], [Diagnostic],
56         [Define to Diagnostic for older versions of clang])])
57 AC_EGREP_HEADER([ArrayRef], [clang/Driver/Driver.h],
58         [AC_DEFINE([USE_ARRAYREF], [],
59                 [Define if Driver::BuildCompilation takes ArrayRef])])
60 AC_EGREP_HEADER([CXXIsProduction], [clang/Driver/Driver.h],
61         [AC_DEFINE([HAVE_CXXISPRODUCTION], [],
62                 [Define if Driver constructor takes CXXIsProduction argument])])
63 AC_EGREP_HEADER([ IsProduction], [clang/Driver/Driver.h],
64         [AC_DEFINE([HAVE_ISPRODUCTION], [],
65                 [Define if Driver constructor takes IsProduction argument])])
66 AC_EGREP_HEADER([void HandleTopLevelDecl\(], [clang/AST/ASTConsumer.h],
67         [AC_DEFINE([HandleTopLevelDeclReturn], [void],
68                    [Return type of HandleTopLevelDeclReturn])
69          AC_DEFINE([HandleTopLevelDeclContinue], [],
70                    [Return type of HandleTopLevelDeclReturn])],
71         [AC_DEFINE([HandleTopLevelDeclReturn], [bool],
72                    [Return type of HandleTopLevelDeclReturn])
73          AC_DEFINE([HandleTopLevelDeclContinue], [true],
74                    [Return type of HandleTopLevelDeclReturn])])
75 AC_EGREP_HEADER([isEnclosingLocal,], [clang/AST/Expr.h],
76         [AC_DEFINE([DECLREFEXPR_CREATE_REQUIRES_BOOL], [],
77             [Define if DeclRefExpr::Create takes isEnclosingLocal argument])])
78 AC_EGREP_HEADER([HasTemplateKWAndArgsInfo], [clang/AST/Expr.h],
79         [AC_DEFINE([DECLREFEXPR_CREATE_REQUIRES_SOURCELOCATION], [],
80                 [Define if DeclRefExpr::Create takes SourceLocation argument])])
81 AC_CHECK_HEADER([clang/Basic/DiagnosticOptions.h],
82         [AC_DEFINE([HAVE_BASIC_DIAGNOSTICOPTIONS_H], [],
83                    [Define if clang/Basic/DiagnosticOptions.h exists])])
84 AC_CHECK_HEADER([clang/Lex/HeaderSearchOptions.h],
85         [AC_DEFINE([HAVE_LEX_HEADERSEARCHOPTIONS_H], [],
86                    [Define if clang/Lex/HeaderSearchOptions.h exists])], [],
87         [#include <clang/Basic/LLVM.h>])
88 AC_CHECK_HEADER([clang/Lex/PreprocessorOptions.h],
89         [AC_DEFINE([HAVE_LEX_PREPROCESSOROPTIONS_H], [],
90                    [Define if clang/Lex/PreprocessorOptions.h exists])], [],
91         [#include <clang/Basic/LLVM.h>])
92 AC_TRY_COMPILE([#include <clang/Basic/TargetInfo.h>], [
93         using namespace clang;
94         TargetOptions *TO;
95         DiagnosticsEngine *Diags;
96         TargetInfo::CreateTargetInfo(*Diags, TO);
97 ], [AC_DEFINE([CREATETARGETINFO_TAKES_POINTER], [],
98               [Define if TargetInfo::CreateTargetInfo takes pointer])])
99 AC_EGREP_HEADER([getLangOpts], [clang/Lex/Preprocessor.h], [],
100         [AC_DEFINE([getLangOpts], [getLangOptions],
101         [Define to getLangOptions for older versions of clang])])
102 AC_EGREP_HEADER([findLocationAfterToken], [clang/Lex/Lexer.h],
103         [AC_DEFINE([HAVE_FINDLOCATIONAFTERTOKEN], [],
104         [Define if SourceManager has findLocationAfterToken method])])
105 AC_EGREP_HEADER([translateLineCol], [clang/Basic/SourceManager.h],
106         [AC_DEFINE([HAVE_TRANSLATELINECOL], [],
107         [Define if SourceManager has translateLineCol method])])
108 AC_TRY_COMPILE([#include <clang/Frontend/CompilerInstance.h>], [
109         using namespace clang;
110         DiagnosticConsumer *client;
111         CompilerInstance *Clang;
112         Clang->createDiagnostics(client);
113 ], [], [AC_DEFINE([CREATEDIAGNOSTICS_TAKES_ARG], [],
114         [Define if CompilerInstance::createDiagnostics takes argc and argv])])
115 AC_TRY_COMPILE([#include <clang/Lex/HeaderSearchOptions.h>], [
116         using namespace clang;
117         HeaderSearchOptions HSO;
118         HSO.AddPath("", frontend::Angled, false, false);
119 ], [AC_DEFINE([ADDPATH_TAKES_4_ARGUMENTS], [],
120         [Define if HeaderSearchOptions::AddPath takes 4 arguments])])
121 AC_LANG_POP
122 CPPFLAGS="$SAVE_CPPFLAGS"
124 SAVE_LDFLAGS="$LDFLAGS"
125 LDFLAGS="$CLANG_LDFLAGS $LDFLAGS"
126 AC_SUBST(LIB_CLANG_EDIT)
127 AC_CHECK_LIB([clangEdit], [main], [LIB_CLANG_EDIT=-lclangEdit], [])
128 LDFLAGS="$SAVE_LDFLAGS"
130 AX_SUBMODULE(gmp,system|build,system)
132 AC_SUBST(GMP_LDFLAGS)
133 AC_SUBST(GMP_LIBS)
134 case "$with_gmp" in
135 system)
136         if test "x$with_gmp_prefix" != "x"; then
137                 GMP_CPPFLAGS="-I$with_gmp_prefix/include"
138                 GMP_LDFLAGS="-L$with_gmp_prefix/lib"
139         fi
140         GMP_LIBS=-lgmp
141         ;;
142 build)
143         GMP_CPPFLAGS="-I$gmp_srcdir -I$with_gmp_builddir"
144         GMP_LIBS="$with_gmp_builddir/libgmp.la"
145         ;;
146 esac
148 AX_SUBMODULE(isl,build|bundled|system,bundled)
149 AM_CONDITIONAL(BUNDLED_ISL, test $with_isl = bundled)
151 AC_SUBST(ISL_CFLAGS)
152 AC_SUBST(ISL_LIBS)
153 AC_SUBST(ISL_SRCDIR)
154 case "$with_isl" in
155 bundled)
156         ISL_CFLAGS="-I\$(top_srcdir)/isl/include -I\$(top_builddir)/isl/include"
157         ISL_CFLAGS="$ISL_CFLAGS $GMP_CPPFLAGS"
158         ISL_SRCDIR="$srcdir/isl"
159         ;;
160 build)
161         ISL_SRCDIR="$isl_srcdir"
162         ISL_BUILDDIR=`echo @abs_builddir@ | $with_isl_builddir/config.status --file=-`
163         ISL_CFLAGS="-I$isl_srcdir/include -I$ISL_BUILDDIR/include"
164         ISL_CFLAGS="$ISL_CFLAGS $GMP_CPPFLAGS"
165         ISL_LIBS="$with_isl_builddir/libisl.la $GMP_LDFLAGS $GMP_LIBS"
166         ;;
167 system)
168         PKG_CHECK_MODULES([ISL], [isl])
169         PACKAGE_CFLAGS_ISL="$ISL_CFLAGS"
170 esac
172 AX_SUBMODULE(libyaml,system|no,system)
173 AC_SUBST(LIBYAML_CPPFLAGS)
174 AC_SUBST(LIBYAML_LDFLAGS)
175 if test "x$with_libyaml_prefix" != "x"; then
176         LIBYAML_CPPFLAGS="-I$with_libyaml_prefix/include"
178 if test "x$with_libyaml_exec_prefix" != "x"; then
179         LIBYAML_LDFLAGS="-L$with_libyaml_exec_prefix/lib"
182 if test "$with_libyaml" = "system"; then
183         SAVE_CPPFLAGS=$CPPFLAGS
184         CPPFLAGS="$CPPFLAGS $LIBYAML_CPPFLAGS"
185         AC_CHECK_HEADER([yaml.h],[],[with_libyaml="no"])
186         CPPFLAGS="$SAVE_CPPFLAGS"
189 AC_SUBST(extra_bin_programs)
190 AC_SUBST(extra_noinst_programs)
191 AC_SUBST(extra_tests)
193 if test "$with_libyaml" != "no"; then
194         extra_bin_programs="pet"
195         extra_noinst_programs="pet_scop_cmp"
196         extra_tests="pet_test.sh"
198 if test "$with_isl" != "system"; then
199         extra_tests="$extra_tests codegen_test.sh"
202 PACKAGE_CFLAGS="$PACKAGE_CFLAGS_ISL"
203 PACKAGE_LIBS="-lpet -lisl"
204 AX_CREATE_PKGCONFIG_INFO
206 AX_DETECT_GIT_HEAD
207 echo '#define GIT_HEAD_ID "'$GIT_HEAD_ID'"' > gitversion.h
209 AC_CONFIG_HEADERS(config.h)
210 AC_CONFIG_FILES(Makefile)
211 AC_CONFIG_FILES([pet_test.sh], [chmod +x pet_test.sh])
212 AC_CONFIG_FILES([codegen_test.sh], [chmod +x codegen_test.sh])
213 if test $with_isl = bundled; then
214         AC_CONFIG_SUBDIRS(isl)
216 AC_OUTPUT