2014-11-20 Robert Dewar <dewar@adacore.com>
[official-gcc.git] / gcc / jit / config-lang.in
blob7a32afe7b7b0c6f9e5356244c56f58e1c0858500
1 # Top level configure fragment for libgccjit.so.
2 #   Copyright (C) 2013-2014 Free Software Foundation, Inc.
4 #This file is part of GCC.
6 #GCC is free software; you can redistribute it and/or modify
7 #it under the terms of the GNU General Public License as published by
8 #the Free Software Foundation; either version 3, or (at your option)
9 #any later version.
11 #GCC is distributed in the hope that it will be useful,
12 #but WITHOUT ANY WARRANTY; without even the implied warranty of
13 #MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 #GNU General Public License for more details.
16 # You should have received a copy of the GNU General Public License
17 # along with GCC; see the file COPYING3.  If not see
18 # <http://www.gnu.org/licenses/>.
20 # Configure looks for the existence of this file to auto-config each language.
21 # We define several parameters used by configure:
23 # language      - name of language as it would appear in $(LANGUAGES)
24 # compilers     - value to add to $(COMPILERS)
26 language="jit"
28 compilers="libgccjit.so"
30 target_libs=""
32 gtfiles="\$(srcdir)/jit/dummy-frontend.c"
34 # The configuration requires --enable-host-shared
35 # for jit to be supported.
36 # Hence to get the jit, one must configure with:
37 #   --enable-host-shared --enable-languages=jit
38 build_by_default="no"