22CONFIG := none
33# CONFIG := clang
44# CONFIG := gcc
5- # CONFIG := afl-gcc
65# CONFIG := wasi
7- # CONFIG := mxe
86# CONFIG := msys2-32
97# CONFIG := msys2-64
108
@@ -265,16 +263,6 @@ ifeq ($(DISABLE_ABC_THREADS),1)
265263ABCMKARGS += "ABC_USE_NO_PTHREADS=1"
266264endif
267265
268- else ifeq ($(CONFIG),afl-gcc)
269- CXX = AFL_QUIET=1 AFL_HARDEN=1 afl-gcc
270- CXXFLAGS += -std=$(CXXSTD ) $(OPT_LEVEL )
271- ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H"
272-
273- else ifeq ($(CONFIG),cygwin)
274- CXX = g++
275- CXXFLAGS += -std=gnu++11 $(OPT_LEVEL )
276- ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H"
277-
278266else ifeq ($(CONFIG),wasi)
279267ifeq ($(WASI_SDK ) ,)
280268CXX = clang++
@@ -302,18 +290,6 @@ LINK_ABC := 1
302290DISABLE_ABC_THREADS := 1
303291endif
304292
305- else ifeq ($(CONFIG),mxe)
306- PKG_CONFIG = /usr/local/src/mxe/usr/bin/i686-w64-mingw32.static-pkg-config
307- CXX = /usr/local/src/mxe/usr/bin/i686-w64-mingw32.static-g++
308- CXXFLAGS += -std=$(CXXSTD ) $(OPT_LEVEL ) -D_POSIX_SOURCE -Wno-attributes
309- CXXFLAGS := $(filter-out -fPIC,$(CXXFLAGS ) )
310- LINKFLAGS := $(filter-out -rdynamic,$(LINKFLAGS ) ) -s
311- LIBS := $(filter-out -lrt,$(LIBS ) )
312- ABCMKARGS += ARCHFLAGS="-DWIN32_NO_DLL -DHAVE_STRUCT_TIMESPEC -fpermissive -w"
313- # TODO: Try to solve pthread linking issue in more appropriate way
314- ABCMKARGS += LIBS="lib/x86/pthreadVC2.lib -s" LINKFLAGS="-Wl,--allow-multiple-definition" ABC_USE_NO_READLINE=1 CC="/usr/local/src/mxe/usr/bin/i686-w64-mingw32.static-gcc"
315- EXE = .exe
316-
317293else ifeq ($(CONFIG),msys2-32)
318294CXX = i686-w64-mingw32-g++
319295CXXFLAGS += -std=$(CXXSTD ) $(OPT_LEVEL ) -D_POSIX_SOURCE -DYOSYS_WIN32_UNIX_DIR
@@ -340,7 +316,7 @@ ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H $(ABC_ARCHFLAGS)"
340316LTOFLAGS =
341317
342318else
343- $(error Invalid CONFIG setting '$(CONFIG ) '. Valid values : clang, gcc, mxe, msys2-32, msys2-64, none)
319+ $(error Invalid CONFIG setting '$(CONFIG ) '. Valid values : clang, gcc, msys2-32, msys2-64, none)
344320endif
345321
346322
@@ -392,9 +368,6 @@ ifeq ($(LINK_TERMCAP),1)
392368LIBS += -ltermcap
393369ABCMKARGS += "ABC_READLINE_LIBRARIES=-lreadline -ltermcap"
394370endif
395- ifeq ($(CONFIG ) ,mxe)
396- LIBS += -ltermcap
397- endif
398371else
399372ifeq ($(ENABLE_EDITLINE ) ,1)
400373CXXFLAGS += -DYOSYS_ENABLE_EDITLINE
@@ -443,17 +416,12 @@ TCL_INCLUDE ?= /usr/include/$(TCL_VERSION)
443416TCL_LIBS ?= -l$(TCL_VERSION )
444417endif
445418
446- ifeq ($(CONFIG ) ,mxe)
447- CXXFLAGS += -DYOSYS_ENABLE_TCL
448- LIBS += -ltcl86 -lwsock32 -lws2_32 -lnetapi32 -lz -luserenv
449- else
450419CXXFLAGS += $(shell PKG_CONFIG_PATH=$(PKG_CONFIG_PATH ) $(PKG_CONFIG ) --silence-errors --cflags tcl || echo -I$(TCL_INCLUDE ) ) -DYOSYS_ENABLE_TCL
451420LIBS += $(shell PKG_CONFIG_PATH=$(PKG_CONFIG_PATH ) $(PKG_CONFIG ) --silence-errors --libs tcl || echo $(TCL_LIBS ) )
452421ifneq (,$(findstring TCL_WITH_EXTERNAL_TOMMATH,$(CXXFLAGS ) ) )
453422LIBS += $(shell PKG_CONFIG_PATH=$(PKG_CONFIG_PATH ) $(PKG_CONFIG ) --silence-errors --libs libtommath || echo)
454423endif
455424endif
456- endif
457425
458426ifeq ($(ENABLE_GCOV ) ,1)
459427CXXFLAGS += --coverage
@@ -1101,19 +1069,6 @@ vcxsrc: $(GENFILES) $(EXTRA_TARGETS)
11011069 zip -r yosys-win32-vcxsrc-$(YOSYS_VER ) .zip yosys-win32-vcxsrc-$(YOSYS_VER ) /
11021070 rm -f srcfiles.txt kernel/version.cc
11031071
1104- ifeq ($(CONFIG ) ,mxe)
1105- mxebin : $(TARGETS ) $(EXTRA_TARGETS )
1106- rm -rf yosys-win32-mxebin-$(YOSYS_VER ) {,.zip}
1107- mkdir -p yosys-win32-mxebin-$(YOSYS_VER )
1108- cp -r $(PROGRAM_PREFIX ) yosys.exe share/ yosys-win32-mxebin-$(YOSYS_VER ) /
1109- ifeq ($(ENABLE_ABC ) ,1)
1110- cp -r $(PROGRAM_PREFIX)yosys-abc.exe abc/lib/x86/pthreadVC2.dll yosys-win32-mxebin-$(YOSYS_VER)/
1111- endif
1112- echo -en 'This is Yosys $(YOSYS_VER) for Win32.\r\n' > yosys-win32-mxebin-$(YOSYS_VER)/readme.txt
1113- echo -en 'Documentation at https://yosyshq.net/yosys/.\r\n' >> yosys-win32-mxebin-$(YOSYS_VER)/readme.txt
1114- zip -r yosys-win32-mxebin-$(YOSYS_VER).zip yosys-win32-mxebin-$(YOSYS_VER)/
1115- endif
1116-
11171072config-clean : clean
11181073 rm -f Makefile.conf
11191074
@@ -1129,9 +1084,6 @@ config-gcc-static: clean
11291084 echo ' ENABLE_READLINE := 0' >> Makefile.conf
11301085 echo ' ENABLE_TCL := 0' >> Makefile.conf
11311086
1132- config-afl-gcc : clean
1133- echo ' CONFIG := afl-gcc' > Makefile.conf
1134-
11351087config-wasi : clean
11361088 echo ' CONFIG := wasi' > Makefile.conf
11371089 echo ' ENABLE_TCL := 0' >> Makefile.conf
@@ -1140,10 +1092,6 @@ config-wasi: clean
11401092 echo ' ENABLE_READLINE := 0' >> Makefile.conf
11411093 echo ' ENABLE_ZLIB := 0' >> Makefile.conf
11421094
1143- config-mxe : clean
1144- echo ' CONFIG := mxe' > Makefile.conf
1145- echo ' ENABLE_PLUGINS := 0' >> Makefile.conf
1146-
11471095config-msys2-32 : clean
11481096 echo ' CONFIG := msys2-32' > Makefile.conf
11491097 echo " PREFIX := $( MINGW_PREFIX) " >> Makefile.conf
@@ -1152,9 +1100,6 @@ config-msys2-64: clean
11521100 echo ' CONFIG := msys2-64' > Makefile.conf
11531101 echo " PREFIX := $( MINGW_PREFIX) " >> Makefile.conf
11541102
1155- config-cygwin : clean
1156- echo ' CONFIG := cygwin' > Makefile.conf
1157-
11581103config-gcov : clean
11591104 echo ' CONFIG := gcc' > Makefile.conf
11601105 echo ' ENABLE_GCOV := 1' >> Makefile.conf
@@ -1183,5 +1128,5 @@ echo-cxx:
11831128-include kernel/*.d
11841129-include techlibs/*/*.d
11851130
1186- .PHONY : all top-all abc test install install-abc docs clean mrproper qtcreator coverage vcxsrc mxebin
1187- .PHONY : config-clean config-clang config-gcc config-gcc-static config-afl-gcc config- gprof config-sudo
1131+ .PHONY : all top-all abc test install install-abc docs clean mrproper qtcreator coverage vcxsrc
1132+ .PHONY : config-clean config-clang config-gcc config-gcc-static config-gprof config-sudo
0 commit comments