summaryrefslogtreecommitdiffstats
path: root/gnu/gnat-gpl/INSTALL
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/gnat-gpl/INSTALL')
-rwxr-xr-xgnu/gnat-gpl/INSTALL4
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