diff options
author | Miodrag Milanović <mmicko@gmail.com> | 2019-10-19 08:58:02 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-19 08:58:02 +0200 |
commit | f2aa2d1bb470235689959748aa2d4f82a1c0d0b5 (patch) | |
tree | 78f82dfdc3c13c9d8809be4081db6d67abc99bb6 /passes | |
parent | e8ef3fcdfcacbc711a4722deee95f0707634bed0 (diff) | |
parent | 82f60ba938749ab20694f9070f1046e393f16f3c (diff) | |
download | yosys-f2aa2d1bb470235689959748aa2d4f82a1c0d0b5.tar.gz yosys-f2aa2d1bb470235689959748aa2d4f82a1c0d0b5.tar.bz2 yosys-f2aa2d1bb470235689959748aa2d4f82a1c0d0b5.zip |
Merge pull request #1457 from xobs/python-binary-name
Makefile: don't assume python is called `python3`
Diffstat (limited to 'passes')
-rw-r--r-- | passes/pmgen/Makefile.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/pmgen/Makefile.inc b/passes/pmgen/Makefile.inc index 366c37943..145d2ebf9 100644 --- a/passes/pmgen/Makefile.inc +++ b/passes/pmgen/Makefile.inc @@ -1,5 +1,5 @@ %_pm.h: passes/pmgen/pmgen.py %.pmg - $(P) mkdir -p passes/pmgen && python3 $< -o $@ -p $(subst _pm.h,,$(notdir $@)) $(filter-out $<,$^) + $(P) mkdir -p passes/pmgen && $(PYTHON_EXECUTABLE) $< -o $@ -p $(subst _pm.h,,$(notdir $@)) $(filter-out $<,$^) # -------------------------------------- @@ -38,7 +38,7 @@ PEEPOPT_PATTERN += passes/pmgen/peepopt_muldiv.pmg PEEPOPT_PATTERN += passes/pmgen/peepopt_dffmux.pmg passes/pmgen/peepopt_pm.h: passes/pmgen/pmgen.py $(PEEPOPT_PATTERN) - $(P) mkdir -p passes/pmgen && python3 $< -o $@ -p peepopt $(filter-out $<,$^) + $(P) mkdir -p passes/pmgen && $(PYTHON_EXECUTABLE) $< -o $@ -p peepopt $(filter-out $<,$^) # -------------------------------------- |