new package: yosys
This commit is contained in:
parent
cfb55a7255
commit
193718ecd1
|
@ -0,0 +1,31 @@
|
||||||
|
--- a/Makefile
|
||||||
|
+++ b/Makefile
|
||||||
|
@@ -11,7 +11,7 @@
|
||||||
|
|
||||||
|
# features (the more the better)
|
||||||
|
ENABLE_TCL := 1
|
||||||
|
-ENABLE_ABC := 1
|
||||||
|
+ENABLE_ABC := 0
|
||||||
|
ENABLE_GLOB := 1
|
||||||
|
ENABLE_PLUGINS := 1
|
||||||
|
ENABLE_READLINE := 1
|
||||||
|
@@ -126,7 +126,6 @@
|
||||||
|
|
||||||
|
else
|
||||||
|
LDFLAGS += -rdynamic
|
||||||
|
-LDLIBS += -lrt
|
||||||
|
endif
|
||||||
|
|
||||||
|
YOSYS_VER := 0.13
|
||||||
|
@@ -187,9 +186,8 @@
|
||||||
|
endif
|
||||||
|
|
||||||
|
ifeq ($(CONFIG),clang)
|
||||||
|
-CXX = clang
|
||||||
|
-LD = clang++
|
||||||
|
-CXXFLAGS += -std=$(CXXSTD) -Os
|
||||||
|
+LD = $(CXX)
|
||||||
|
+CXXFLAGS += -std=$(CXXSTD)
|
||||||
|
ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H"
|
||||||
|
|
||||||
|
ifneq ($(SANITIZER),)
|
|
@ -0,0 +1,14 @@
|
||||||
|
TERMUX_PKG_HOMEPAGE=https://yosyshq.net/yosys/
|
||||||
|
TERMUX_PKG_DESCRIPTION="A framework for RTL synthesis tools"
|
||||||
|
TERMUX_PKG_LICENSE="ISC"
|
||||||
|
TERMUX_PKG_MAINTAINER="@termux"
|
||||||
|
TERMUX_PKG_VERSION=0.13
|
||||||
|
TERMUX_PKG_SRCURL=https://github.com/YosysHQ/yosys/archive/refs/tags/yosys-${TERMUX_PKG_VERSION}.tar.gz
|
||||||
|
TERMUX_PKG_SHA256=004c203cb516887a8c76678a1fd76381198a8c46a17f4d893c34b7521df894b5
|
||||||
|
TERMUX_PKG_DEPENDS="graphviz, libandroid-glob, libandroid-spawn, libc++, libffi, readline, tcl, zlib"
|
||||||
|
TERMUX_PKG_BUILD_IN_SRC=true
|
||||||
|
TERMUX_PKG_EXTRA_MAKE_ARGS="PREFIX=$TERMUX_PREFIX"
|
||||||
|
|
||||||
|
termux_step_pre_configure() {
|
||||||
|
LDFLAGS+=" -landroid-glob -landroid-spawn"
|
||||||
|
}
|
|
@ -0,0 +1,11 @@
|
||||||
|
--- a/passes/sat/qbfsat.cc
|
||||||
|
+++ b/passes/sat/qbfsat.cc
|
||||||
|
@@ -251,7 +251,7 @@
|
||||||
|
|
||||||
|
QbfSolutionType qbf_solve(RTLIL::Module *mod, const QbfSolveOptions &opt) {
|
||||||
|
QbfSolutionType ret, best_soln;
|
||||||
|
- const std::string tempdir_name = make_temp_dir("/tmp/yosys-qbfsat-XXXXXX");
|
||||||
|
+ const std::string tempdir_name = make_temp_dir("@TERMUX_PREFIX@/tmp/yosys-qbfsat-XXXXXX");
|
||||||
|
RTLIL::Module *module = mod;
|
||||||
|
RTLIL::Design *design = module->design;
|
||||||
|
std::string module_name = module->name.str();
|
|
@ -0,0 +1,20 @@
|
||||||
|
--- a/techlibs/easic/synth_easic.cc
|
||||||
|
+++ b/techlibs/easic/synth_easic.cc
|
||||||
|
@@ -45,7 +45,7 @@
|
||||||
|
log(" an output file is omitted if this parameter is not specified.\n");
|
||||||
|
log("\n");
|
||||||
|
log(" -etools <path>\n");
|
||||||
|
- log(" set path to the eTools installation. (default=/opt/eTools)\n");
|
||||||
|
+ log(" set path to the eTools installation. (default=@TERMUX_PREFIX@/opt/eTools)\n");
|
||||||
|
log("\n");
|
||||||
|
log(" -run <from_label>:<to_label>\n");
|
||||||
|
log(" only run the commands between the labels (see below). an empty\n");
|
||||||
|
@@ -71,7 +71,7 @@
|
||||||
|
{
|
||||||
|
top_opt = "-auto-top";
|
||||||
|
vlog_file = "";
|
||||||
|
- etools_path = "/opt/eTools";
|
||||||
|
+ etools_path = "@TERMUX_PREFIX@/opt/eTools";
|
||||||
|
flatten = true;
|
||||||
|
retime = false;
|
||||||
|
}
|
Loading…
Reference in New Issue