#164 $(MAKE) variable in Makefile Issue opened by d-m-bailey The

$(MAKE)

variable is set at the start of the

Makefile

script. On macos, this can be something like

/Library/Developer/CommandLineTools/usr/bin/make

This

make

is not accessible from within docker, so all the

make

commands run in docker fail. Specifically,

make build-pdk

Suggest changing

$(MAKE)

to

make

in the

build-pdk

target. efabless/openlane