2121
2222cd $BUILD_DIR /$dir_name
2323
24- MAKEFILE_CONF_GHDL=
25- GHDL_LDLIBS=
26- if [ $COMPILE_GHDL == " 1" ]
27- then
28- patch < $WORK_DIR /scripts/yosys_ghdl.diff
29-
30- mkdir -p frontends/ghdl
31- cp -R ../$dir_name_gyp /src/* frontends/ghdl
32- MAKEFILE_CONF_GHDL=$' ENABLE_GHDL := 1\n '
33- MAKEFILE_CONF_GHDL+=" GHDL_DIR := $PACKAGE_DIR /$NAME "
34-
35- if [ $ARCH == " darwin" ]; then
36- GHDL_LDLIBS=" $PACKAGE_DIR /$NAME /lib/libghdl.a $( tr -s ' \n' ' ' < $PACKAGE_DIR /$NAME /lib/libghdl.link) "
37- elif [ ${ARCH: 0: 7} == " windows" ]; then
38- GHDL_LDLIBS=" $( cygpath -m -a $PACKAGE_DIR /$NAME /lib/libghdl.a) $( cat $PACKAGE_DIR /$NAME /lib/libghdl.link | tr -s ' \n' ' ' | tr -s ' \\' ' /' ) "
39- else
40- GHDL_LDLIBS=" $PACKAGE_DIR /$NAME /lib/libghdl.a $( tr -s ' \n' ' ' < $PACKAGE_DIR /$NAME /lib/libghdl.link) "
24+ patch < $WORK_DIR /scripts/yosys.diff
25+
26+ setup_ghdl-yosys-plugin () {
27+ if [ $COMPILE_GHDL == " 1" ]
28+ then
29+ mkdir -p frontends/ghdl
30+ cp -R ../$dir_name_gyp /src/* frontends/ghdl
31+
32+ echo ' ENABLE_GHDL := 1' >> Makefile.conf
33+ echo " GHDL_PREFIX := $PACKAGE_DIR /$NAME " /ghdl >> Makefile.conf
4134 fi
42- fi
35+ }
4336
4437# -- Compile it
4538if [ $ARCH == " darwin" ]; then
4639 OLDPATH=$PATH
4740 export PATH=" /usr/local/opt/bison/bin:/usr/local/opt/flex/bin:$PATH "
4841 $MAKE config-clang
49- echo " $MAKEFILE_CONF_GHDL " >> Makefile.conf
42+ setup_ghdl-yosys-plugin
5043 gsed -r -i ' s/^(YOSYS_VER := [0-9]+\.[0-9]+\+[0-9]+).*$/\1 \(open-tool-forge build\)/;' Makefile
5144 sed -i " " " s/-Wall -Wextra -ggdb/-w/;" Makefile
5245 CXXFLAGS=" -std=c++11 $CXXFLAGS " make \
5346 -j$J GIT_REV=" ${GIT_REV} " PRETTY=0 \
54- LDLIBS=" -lm $GHDL_LDLIBS " \
47+ LDLIBS=" -lm" \
5548 ENABLE_TCL=0 ENABLE_PLUGINS=0 ENABLE_READLINE=0 ENABLE_COVER=0 ENABLE_ZLIB=0 ENABLE_ABC=1 \
5649 ABCMKARGS=" CC=\" $CC \" CXX=\" $CXX \" OPTFLAGS=\" -O\" \
5750 ARCHFLAGS=\" $ABC_ARCHFLAGS \" ABC_USE_NO_READLINE=1"
5851
5952 export PATH=$OLDPATH
6053elif [ ${ARCH: 0: 7} == " windows" ]; then
6154 $MAKE config-msys2-64
62- echo " $MAKEFILE_CONF_GHDL " >> Makefile.conf
55+ setup_ghdl-yosys-plugin
6356 sed -r -i ' s/^(YOSYS_VER := [0-9]+\.[0-9]+\+[0-9]+).*$/\1 \(open-tool-forge build\)/;' Makefile
6457 $MAKE -j$J GIT_REV=" ${GIT_REV} " PRETTY=0 \
65- LDLIBS=" -static -lstdc++ -lm $GHDL_LDLIBS " \
58+ LDLIBS=" -static -lstdc++ -lm" \
6659 ABCMKARGS=" CC=\" $CC \" CXX=\" $CXX \" LIBS=\" -static -lm\" OPTFLAGS=\" -O\" \
6760 ARCHFLAGS=\" $ABC_ARCHFLAGS \" \
6861 ABC_USE_NO_READLINE=1 \
@@ -74,14 +67,14 @@ elif [ ${ARCH:0:7} == "windows" ]; then
7467 test_bin yosys-smtbmc$EXE
7568else
7669 $MAKE config-gcc
77- echo " $MAKEFILE_CONF_GHDL " >> Makefile.conf
70+ setup_ghdl-yosys-plugin
7871 sed -i " s/-Wall -Wextra -ggdb/-w/;" Makefile
7972 sed -r -i ' s/^(YOSYS_VER := [0-9]+\.[0-9]+\+[0-9]+).*$/\1 \(open-tool-forge build\)/;' Makefile
8073 # sed -i "s/LD = gcc$/LD = $CC/;" Makefile
8174 # sed -i "s/CXX = gcc$/CXX = $CC/;" Makefile
8275 # sed -i "s/LDFLAGS += -rdynamic/LDFLAGS +=/;" Makefile
8376 $MAKE -j$J GIT_REV=" ${GIT_REV} " PRETTY=0 \
84- LDLIBS=" -static -lstdc++ -lm $GHDL_LDLIBS -ldl" \
77+ LDLIBS=" -static -lstdc++ -lm -ldl" \
8578 ENABLE_TCL=0 ENABLE_PLUGINS=0 ENABLE_READLINE=0 ENABLE_COVER=0 ENABLE_ZLIB=0 ENABLE_ABC=1 \
8679 ABCMKARGS=" CC=\" $CC \" CXX=\" $CXX \" LIBS=\" -static -lm -ldl -pthread\" \
8780 OPTFLAGS=\" -O\" \
0 commit comments