diff options
author | eine <6628437+eine@users.noreply.github.com> | 2020-01-20 20:56:17 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2020-01-20 20:56:17 +0100 |
commit | caed711f6b933eb8ca3e2d8e458824b2b20f6b3b (patch) | |
tree | 9b6dcde5335100796aaac40e7dc6e9cb19bda850 /Makefile.in | |
parent | 87d9089e9ad2f32b8e355c6a519726247f19cde0 (diff) | |
download | ghdl-caed711f6b933eb8ca3e2d8e458824b2b20f6b3b.tar.gz ghdl-caed711f6b933eb8ca3e2d8e458824b2b20f6b3b.tar.bz2 ghdl-caed711f6b933eb8ca3e2d8e458824b2b20f6b3b.zip |
ci: use DESTDIR instead of PREFIX (#1104)
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 5dfce590c..ac53824f6 100644 --- a/Makefile.in +++ b/Makefile.in @@ -264,7 +264,7 @@ copy-sources.gcc: version.ads # To build vhdl libs using a non-installed ghdl, define GHDL_GCC_BIN to the # path of ghdl and GHDL1_GCC_BIN to path of ghdl1 -GHDL_GCC_BIN=$(bindir)/ghdl$(EXEEXT) +GHDL_GCC_BIN=$(DESTDIR)$(bindir)/ghdl$(EXEEXT) GHDL1_GCC_BIN= # --GHDL1=/path/to/ghdl1 libs.vhdl.gcc: |