Makefile

   1
   2 CONFIG := clang-debug
   3 # CONFIG := gcc-debug
   4 # CONFIG := release
   5
   6 ENABLE_TCL := 1
   7 ENABLE_QT4 := 1
   8 ENABLE_MINISAT := 1
   9 ENABLE_GPROF := 0
  10
  11 OBJS =
  12 GENFILES =
  13 EXTRA_TARGETS =
  14 TARGETS = yosys yosys-config
  15
  16 all: top-all
  17
  18 CXXFLAGS = -Wall -Wextra -ggdb -I"$(shell pwd)" -MD -D_YOSYS_ -fPIC
  19 LDFLAGS = -rdynamic
  20 LDLIBS = -lstdc++ -lreadline -lm -ldl
  21 QMAKE = qmake-qt4
  22
  23 -include Makefile.conf
  24
  25 ifeq ($(CONFIG),clang-debug)
  26 CXX = clang
  27 CXXFLAGS += -std=c++11 -O0
  28 endif
  29
  30 ifeq ($(CONFIG),gcc-debug)
  31 CXX = gcc
  32 CXXFLAGS += -std=gnu++0x -O0
  33 endif
  34
  35 ifeq ($(CONFIG),release)
  36 CXX = gcc
  37 CXXFLAGS += -std=gnu++0x -march=native -O3 -DNDEBUG
  38 endif
  39
  40 ifeq ($(ENABLE_TCL),1)
  41 CXXFLAGS += -I/usr/include/tcl8.5 -DYOSYS_ENABLE_TCL
  42 LDLIBS += -ltcl8.5
  43 endif
  44
  45 ifeq ($(ENABLE_GPROF),1)
  46 CXXFLAGS += -pg
  47 LDFLAGS += -pg
  48 endif
  49
  50 ifeq ($(ENABLE_QT4),1)
  51 TARGETS += yosys-svgviewer
  52 endif
  53
  54 OBJS += kernel/driver.o kernel/register.o kernel/rtlil.o kernel/log.o kernel/calc.o
  55
  56 OBJS += libs/bigint/BigIntegerAlgorithms.o libs/bigint/BigInteger.o libs/bigint/BigIntegerUtils.o
  57 OBJS += libs/bigint/BigUnsigned.o libs/bigint/BigUnsignedInABase.o
  58
  59 OBJS += libs/sha1/sha1.o
  60 OBJS += libs/subcircuit/subcircuit.o
  61 OBJS += libs/ezsat/ezsat.o
  62
  63 ifeq ($(ENABLE_MINISAT),1)
  64 CXXFLAGS += -DYOSYS_ENABLE_MINISAT
  65 OBJS += libs/ezsat/ezminisat.o
  66 LDLIBS += -lminisat
  67 endif
  68
  69 include frontends/*/Makefile.inc
  70 include passes/*/Makefile.inc
  71 include backends/*/Makefile.inc
  72 include techlibs/Makefile.inc
  73
  74 top-all: $(TARGETS) $(EXTRA_TARGETS)
  75
  76 yosys: $(OBJS)
  77         $(CXX) -o yosys $(LDFLAGS) $(OBJS) $(LDLIBS)
  78
  79 yosys-config: yosys-config.in
  80         sed 's,@CXX@,$(CXX),; s,@CXXFLAGS@,$(CXXFLAGS),; s,@LDFLAGS@,$(LDFLAGS),; s,@LDLIBS@,$(LDLIBS),;' < yosys-config.in > yosys-config
  81         chmod +x yosys-config
  82
  83 yosys-svgviewer: libs/svgviewer/*.h libs/svgviewer/*.cpp
  84         cd libs/svgviewer && $(QMAKE) && make
  85         cp libs/svgviewer/svgviewer yosys-svgviewer
  86
  87 abc:
  88         test -d abc || hg clone https://bitbucket.org/alanmi/abc abc
  89         cd abc && hg pull && make
  90         cp abc/abc yosys-abc
  91
  92 test: yosys
  93         cd tests/simple && bash run-test.sh
  94         cd tests/hana && bash run-test.sh
  95         cd tests/asicworld && bash run-test.sh
  96
  97 install: $(TARGETS)
  98         install $(TARGETS) /usr/local/bin/
  99
 100 install-abc:
 101         install yosys-abc /usr/local/bin/
 102
 103 clean:
 104         rm -f $(OBJS) $(GENFILES) $(TARGETS)
 105         rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d
 106         test ! -f libs/svgviewer/Makefile || make -C libs/svgviewer distclean
 107
 108 mrproper: clean
 109         git clean -xdf
 110
 111 qtcreator:
 112         { for file in $(basename $(OBJS)); do \
 113                 for prefix in cc y l; do if [ -f $${file}.$${prefix} ]; then echo $$file.$${prefix}; fi; done \
 114         done; find backends frontends kernel libs passes -type f \( -name '*.h' -o -name '*.hh' \); } > qtcreator.files
 115         { echo .; find backends frontends kernel libs passes -type f \( -name '*.h' -o -name '*.hh' \) -printf '%h\n' | sort -u; } > qtcreator.includes
 116         touch qtcreator.config qtcreator.creator
 117
 118 config-clean: clean
 119         rm -f Makefile.conf
 120
 121 config-clang-debug: clean
 122         echo 'CONFIG := clang-debug' > Makefile.conf
 123
 124 config-gcc-debug: clean
 125         echo 'CONFIG := gcc-debug' > Makefile.conf
 126
 127 config-release: clean
 128         echo 'CONFIG := release' > Makefile.conf
 129
 130 config-gprof: clean
 131         echo 'CONFIG := release' > Makefile.conf
 132         echo 'ENABLE_GPROF := 1' >> Makefile.conf
 133
 134 -include libs/*/*.d
 135 -include frontends/*/*.d
 136 -include passes/*/*.d
 137 -include backends/*/*.d
 138 -include kernel/*.d
 139
 140 .PHONY: all top-all abc test install install-abc clean mrproper qtcreator
 141 .PHONY: config-clean config-clang-debug config-gcc-debug config-release
 142