diff options
Diffstat (limited to 'gnu/gnat-gpl/PRE_BUILD')
-rwxr-xr-x | gnu/gnat-gpl/PRE_BUILD | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gnu/gnat-gpl/PRE_BUILD b/gnu/gnat-gpl/PRE_BUILD new file mode 100755 index 0000000000..fbdc435a5a --- /dev/null +++ b/gnu/gnat-gpl/PRE_BUILD @@ -0,0 +1,12 @@ +mk_source_dir && +cd ${SOURCE_DIRECTORY} && +unpack_file 2 && +mv gcc-${GCCVERSION} src && +cd ${SOURCE_DIRECTORY}/src && +sed -i 's@\./fixinc\.sh@-c true@' gcc/Makefile.in && +unpack_file && +rm -rf ${SOURCE_DIRECTORY}/src/gcc/ada && +mv ${SOURCE_DIRECTORY}/src/${SPELL}-${VERSION}-src/src/ada ${SOURCE_DIRECTORY}/src/gcc/ && +patch -p0 < ${SOURCE_DIRECTORY}/src/${SPELL}-${VERSION}-src/src/gcc-43.dif && +cd ${SOURCE_DIRECTORY} && +mkdir build |