diff options
Diffstat (limited to 'gnu/gnat-gpl/INSTALL')
-rwxr-xr-x | gnu/gnat-gpl/INSTALL | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnu/gnat-gpl/INSTALL b/gnu/gnat-gpl/INSTALL new file mode 100755 index 0000000000..e7044dd572 --- /dev/null +++ b/gnu/gnat-gpl/INSTALL @@ -0,0 +1,4 @@ +cd ${SOURCE_DIRECTORY}/build && +make_single && +make CFLAGS="$CFLAGS" BOOT_CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" install && +make_normal |