Merge pull request #1057 from mmicko/fix_478

Aded one more load of .conf to support change of prefix
This commit is contained in:
Clifford Wolf 2019-05-30 09:58:51 +02:00 committed by GitHub
commit 0df8a3b461
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -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