Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025 #ifndef POCC_DRIVER_PLUTO_H
00026 # define POCC_DRIVER_PLUTO_H
00027
00028 # include <stdio.h>
00029
00030 # if HAVE_CONFIG_H
00031 # include <pocc-utils/config.h>
00032 # endif
00033
00034 # include <pocc/common.h>
00035 # include <pocc-utils/options.h>
00036 # include <pocc/options.h>
00037
00038 # ifndef SCOPLIB_INT_T_IS_LONGLONG
00039 # define SCOPLIB_INT_T_IS_LONGLONG
00040 # endif
00041 # include <scoplib/scop.h>
00042
00043 # include <pluto/pluto.h>
00044
00045
00046 BEGIN_C_DECLS
00047
00048 extern
00049 int
00050 pocc_driver_pluto (scoplib_scop_p program,
00051 s_pocc_options_t* poptions,
00052 s_pocc_utils_options_t* puoptions);
00053
00054
00055 END_C_DECLS
00056
00057
00058 #endif // POCC_DRIVER_PLUTO_H