diff options
author | Olly Betts <olly@survex.com> | 2021-05-13 11:11:40 +1200 |
---|---|---|
committer | Olly Betts <olly@survex.com> | 2021-05-16 08:42:39 +1200 |
commit | 11bb422bd33524fbeb215b5108c881f6ecaf3c4f (patch) | |
tree | 860cadd0d8a24befc0047f3d213fd9745ec6e05c /Tools | |
parent | 12f3a859166cb02eedb5e5f9aa17f52d72324d83 (diff) | |
download | swig-11bb422bd33524fbeb215b5108c881f6ecaf3c4f.tar.gz |
[Pike] Remove code for Pike
We dropped support for it in SWIG 4.0.0 and nobody has stepped forward
to revive it in over 2 years.
See #2009.
Diffstat (limited to 'Tools')
-rw-r--r-- | Tools/check-include-path.pike | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/Tools/check-include-path.pike b/Tools/check-include-path.pike deleted file mode 100644 index 2bfb2b901..000000000 --- a/Tools/check-include-path.pike +++ /dev/null @@ -1,20 +0,0 @@ -/** - * 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; -} |