Aded one more load of .conf to support change of prefix
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 29 May 2019 16:57:03 +0000 (18:57 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 29 May 2019 16:57:03 +0000 (18:57 +0200)
Makefile

index 05b28f33de5e8d47cfc52324f0ff26c45506dedd..76dac48a586c2ae9dd8c8b9b73f5a5c14cc5e3d6 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -46,6 +46,10 @@ OS := $(shell uname -s)
 PREFIX ?= /usr/local
 INSTALL_SUDO :=
 
+ifneq ($(wildcard Makefile.conf),)
+include Makefile.conf
+endif
+
 BINDIR := $(PREFIX)/bin
 LIBDIR := $(PREFIX)/lib
 DATDIR := $(PREFIX)/share/yosys