1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
/**
* This is a helper script to identify the proper include path
* for Pike header files. It should be run with the full path
* to the Pike executable as its single argument, e.g.
*
* pike check-include-path.pike /usr/local/bin/pike
*
* and its output should be the correct path to the header
* files, e.g.
*
* /usr/local/pike/7.2.239/include/pike
*
*/
int main(int argc, array(string) argv)
{
string prefix = replace(argv[1], "/bin/pike", "");
write(prefix + "/pike/" + __MAJOR__ + "." + __MINOR__ + "." + __BUILD__ + "/include/pike");
return 0;
}
|
