diff options
Diffstat (limited to 'debian/patches/02_removeabc.patch')
| -rw-r--r-- | debian/patches/02_removeabc.patch | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/debian/patches/02_removeabc.patch b/debian/patches/02_removeabc.patch index 370f640d..4ef26c8c 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 27eb998..f26a6e0 100644 +index c92c808..f357258 100644 --- a/Makefile +++ b/Makefile -@@ -225,7 +225,7 @@ endif - ifeq ($(ENABLE_ABC),1) - CXXFLAGS += -DYOSYS_ENABLE_ABC +@@ -350,7 +350,7 @@ LDLIBS += -lpthread + endif + else ifeq ($(ABCEXTERNAL),) -TARGETS += yosys-abc$(EXE) +#TARGETS += yosys-abc$(EXE) endif endif - + endif |