diff options
Diffstat (limited to 'debian/patches/02_removeabc.patch')
| -rw-r--r-- | debian/patches/02_removeabc.patch | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/debian/patches/02_removeabc.patch b/debian/patches/02_removeabc.patch index 2367c874..522d0a53 100644 --- a/debian/patches/02_removeabc.patch +++ b/debian/patches/02_removeabc.patch @@ -9,15 +9,15 @@ Forwarded: doesn't make sense upstream 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile -index b8f4ffd..eeb6b91 100644 +index da69b01..59a87c3 100644 --- a/Makefile +++ b/Makefile -@@ -204,7 +204,7 @@ endif - +@@ -225,7 +225,7 @@ endif ifeq ($(ENABLE_ABC),1) CXXFLAGS += -DYOSYS_ENABLE_ABC + ifeq ($(ABCEXTERNAL),) -TARGETS += yosys-abc$(EXE) +#TARGETS += yosys-abc$(EXE) endif + endif - ifeq ($(ENABLE_VERIFIC),1) |