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