Package: gcc-python-plugin / 0.17-2

gcc-version.diff Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Index: b/gcc-with-python
===================================================================
--- a/gcc-with-python
+++ b/gcc-with-python
@@ -16,4 +16,9 @@
 #   along with this program.  If not, see
 #   <http://www.gnu.org/licenses/>.
 
-${CC:-gcc} -fplugin=$(pwd)/python.so -fplugin-arg-python-script=$@
+GCC=${CC:-gcc}
+if ! which ${GCC} >/dev/null 2>&1; then
+  echo >&2 "$(basename $0): gcc '$GCC' is not installed. Try using the default GCC"
+  exit 1
+fi
+${GCC} -fplugin=$(pwd)/python.so -fplugin-arg-python-script=$@