PIPS
pips.h
Go to the documentation of this file.
1
/* Warning! Do not modify this file that is automatically generated! */
2
/* Modify src/Libs/pips/pips-local.h instead, to add your own modifications. */
3
4
/* header file built by cproto */
5
6
#ifndef pips_header_included
7
#define pips_header_included
8
/* pips-local.h */
9
/*
10
11
$Id: pips-local.h 23065 2016-03-02 09:05:50Z coelho $
12
13
Copyright 1989-2016 MINES ParisTech
14
15
This file is part of PIPS.
16
17
PIPS is free software: you can redistribute it and/or modify it
18
under the terms of the GNU General Public License as published by
19
the Free Software Foundation, either version 3 of the License, or
20
any later version.
21
22
PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
23
WARRANTY; without even the implied warranty of MERCHANTABILITY or
24
FITNESS FOR A PARTICULAR PURPOSE.
25
26
See the GNU General Public License for more details.
27
28
You should have received a copy of the GNU General Public License
29
along with PIPS. If not, see <http://www.gnu.org/licenses/>.
30
31
*/
32
/* cproto-generated files */
33
/* pips.c */
34
extern
int
pips_main
(
int
/*argc*/
,
char
**
/*argv*/
);
35
/* revisions.c */
36
#endif
/* pips_header_included */
pips_main
int pips_main(int, char **)
Warning! Do not modify this file that is automatically generated!
Definition:
pips.c:160
pips
src
Passes
pips
pips.h
Generated on Thu Sep 26 2024 22:11:50 for PIPS by
1.9.1