Miodrag Milanovic
7a65ed19a5
Fix linking issue for new mxe and pthread
2019-08-01 17:30:02 +02:00
Miodrag Milanovic
3f633690ae
Fix yosys linking for mxe
2019-08-01 17:28:07 +02:00
Miodrag Milanovic
28b7053a01
Fix formatting for msys2 mingw build using GetSize
2019-08-01 17:27:34 +02:00
David Shah
6538671c84
Merge pull request #1226 from YosysHQ/dave/gzip
...
Add support for gzip'd input files
2019-07-27 07:40:38 +01:00
David Shah
933db0410e
Add support for reading gzip'd input files
...
Signed-off-by: David Shah <dave@ds0.me>
2019-07-26 10:23:58 +01:00
Eddie Hung
c5e31ac9c3
Bump abc to fix &mfs bug
2019-07-25 10:48:58 -07:00
Clifford Wolf
ef0823690c
Merge pull request #1146 from gsomlo/gls-test-abc-ext
...
tests: use optional ABCEXTERNAL when specified
2019-07-09 18:44:57 +01:00
Eddie Hung
43069e9eb9
Checkout yosys-0.9-rc branch of yosys-tests
2019-07-02 10:06:56 -07:00
Eddie Hung
da5f830395
Merge pull request #1098 from YosysHQ/xaig
...
"abc9" pass for timing-aware techmapping (experimental, FPGA only, no FFs)
2019-06-28 10:59:03 -07:00
Gabriel L. Somlo
6f1c137989
tests: use optional ABCEXTERNAL when specified
...
Commits 65924fd1
, abc40924
, and ebe29b66
hard-code the invocation
of yosys-abc, which fails if ABCEXTERNAL was specified during the
build. Allow tests to utilize an optional, externally specified
abc binary.
Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
2019-06-27 23:00:13 -04:00
Eddie Hung
9a371cfba9
Merge remote-tracking branch 'origin/master' into xaig
2019-06-27 12:53:23 -07:00
David Shah
71b046d639
tests: Check that Icarus can parse arch sim models
...
Signed-off-by: David Shah <dave@ds0.me>
2019-06-26 18:46:22 +01:00
Eddie Hung
cbbd96aae9
Revert Makefile
2019-06-20 22:30:20 -07:00
Eddie Hung
32f8014e12
Fix gcc error, due to dict invalidation during recursion
2019-06-20 22:10:43 -07:00
Eddie Hung
eb09ea6d54
Run simple_abc9 tests
2019-06-20 19:41:27 -07:00
Eddie Hung
f81a0ed92e
Merge remote-tracking branch 'origin/master' into xc7mux
2019-06-03 23:07:08 -07:00
Eddie Hung
5e75abf870
Bump ABC
2019-05-29 16:34:43 -07:00
Miodrag Milanovic
14bd40cd3d
Aded one more load of .conf to support change of prefix
2019-05-29 18:57:03 +02:00
Miodrag Milanovic
040b06cb37
Remove info line in 2nd load of conf file
2019-05-28 15:43:27 +02:00
Miodrag Milanovic
1575d962fa
Moved pyosys block in Makefile
2019-05-28 14:53:07 +02:00
Miodrag Milanovic
1bbcd277fb
make config-afl-gcc to help creating conf file
2019-05-27 20:43:10 +02:00
Miodrag Milanovic
2ccbfc8d38
Added afl-gcc as target for fuzzer
2019-05-27 20:38:44 +02:00
Kaj Tuomi
90d070d294
Guard all Python-api related items.
2019-05-27 11:31:50 +03:00
Kaj Tuomi
29b898cf76
OS X related fixes.
2019-05-22 22:58:12 +03:00
Stefan Biereigel
c97c860303
extract python prefix to allow overriding
2019-05-14 15:28:03 +02:00
Stefan Biereigel
660e733bd2
remove ldconfig call
2019-05-14 14:49:40 +02:00
Stefan Biereigel
6c9c78d4aa
add mkdir for libyosys target, explicitly copy to target folder
2019-05-14 14:36:31 +02:00
Benedikt Tutzer
dc06e3a28b
Merge branch 'master' of https://github.com/YosysHQ/yosys into feature/python_bindings
2019-04-30 13:22:33 +02:00
Benedikt Tutzer
124a284487
Cleaned up root directory
2019-04-30 13:19:04 +02:00
Clifford Wolf
c0f9a74b12
Set ENABLE_LIBYOSYS=0 by default
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-04-22 14:59:30 +02:00
Clifford Wolf
93f32b5dec
Set ENABLE_PYOSYS=0 by default
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-04-22 14:49:17 +02:00
Clifford Wolf
99d5435650
Merge pull request #905 from christian-krieg/feature/python_bindings
...
Feature/python bindings
2019-04-22 14:47:52 +02:00
Clifford Wolf
e625324489
Update to ABC 3709744
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-04-18 21:25:02 +02:00
Clifford Wolf
ea8ac0aaad
Update to ABC d1b6413
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-04-17 13:51:34 +02:00
Benedikt Tutzer
e19981ab61
Suppress error from the compiler run during libboost-python* detection
2019-04-07 10:11:35 +02:00
Benedikt Tutzer
cc270ea81b
Autodetect Python paths and boost python libraries for different distributions
2019-04-05 11:56:01 +02:00
Benedikt Tutzer
574dfb2ef9
Removed link to experimental filesystem library
2019-04-04 09:51:14 +02:00
Benedikt Tutzer
e64b3f1074
Changed filesystem dependency to boost instead of experimental std library
2019-04-04 09:24:50 +02:00
Benedikt Tutzer
c3486c4270
Removed compiler flags that are clang specific
2019-04-03 16:19:47 +02:00
Benedikt Tutzer
d330f4e009
Even less options for the preprocessor
2019-04-03 15:34:31 +02:00
Benedikt Tutzer
c5a8dceff8
Preprocessing does not need all the flags
2019-04-03 15:13:58 +02:00
Benedikt Tutzer
fd7fb1377d
Added cross-platform support for plugin-paths
2019-04-03 13:21:40 +02:00
Benedikt Tutzer
adfd8d463d
Autodetect highest installed python version
2019-04-03 11:17:50 +02:00
Benedikt Tutzer
03d1606b42
Merge remote-tracking branch 'origin/master' into feature/python_bindings
2019-03-28 12:16:39 +01:00
Eddie Hung
02e8dc7ad2
Merge https://github.com/YosysHQ/yosys into read_aiger
2019-03-19 08:52:31 -07:00
Clifford Wolf
9820ed6531
Disable realmath tests
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-03-15 00:48:23 +01:00
Clifford Wolf
d9bb5f3637
Add ENABLE_GLOB Makefile switch
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-03-11 01:08:36 -07:00
Clifford Wolf
362ef36ccd
Fix Travis
...
It looks like that whole "Fixing Travis's git clone" code was just
there to make the "git describe --tags" work. I simply removed both.
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-02-22 00:15:55 +01:00
Eddie Hung
d365682a21
Add aiger tests to make tests
2019-02-19 15:25:47 -08:00
Clifford Wolf
f5d23d4c7a
Update Verific default path
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-01-04 14:44:35 +01:00
Benedikt Tutzer
b9288b216d
Make can now install Python libraries to system path
2018-12-21 14:08:23 +01:00
Clifford Wolf
4c5173045b
Merge pull request #704 from webhat/feature/fix-awk
...
Using awk rather than gawk
2018-12-16 16:31:37 +01:00
Benedikt Tutzer
7ca9fa64f7
Added python-api to install
2018-12-11 08:42:57 +01:00
Clifford Wolf
910d94b212
Verific updates
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-12-06 07:21:50 +01:00
whitequark
9e072ec21f
opt_lut: new pass, to combine LUTs for tighter packing.
2018-12-05 16:30:37 +00:00
Daniël W. Crompton
c472467be9
Using awk rather than gawk
2018-11-19 21:46:18 +01:00
Clifford Wolf
9228f015a3
Update ABC to git rev 2ddc57d
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-11-13 17:22:28 +01:00
Clifford Wolf
d1372873e8
Update ABC to git rev 68da3cf
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-11-11 19:37:31 +01:00
Clifford Wolf
43ee1f3f62
Merge pull request #696 from arjenroodselaar/verific_darwin
...
Use appropriate static libraries when building with Verific on MacOS
2018-11-09 13:02:49 +01:00
Clifford Wolf
05d2e5d773
Fix "make ystests" to use correct Yosys binary
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-11-08 09:58:47 +01:00
Arjen Roodselaar
4e846694f7
Use appropriate static libraries when building with Verific on MacOS
2018-11-07 23:18:47 -08:00
Clifford Wolf
60ecc5c70c
Update ABC rev to 4d56acf
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-11-06 11:10:27 +01:00
Ruben Undheim
d5aac2650f
Basic test for checking correct synthesis of SystemVerilog interfaces
2018-10-18 22:40:53 +02:00
Clifford Wolf
a25f370191
Update ABC to git rev 14d985a
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-10-18 12:26:53 +02:00
Clifford Wolf
22d9535a24
Update ABC to git rev c5b48bb
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-10-17 12:23:50 +02:00
Clifford Wolf
6e00c217ae
After release is before release
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-10-16 16:44:58 +02:00
Clifford Wolf
5706e90802
Yosys 0.8
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-10-16 16:22:16 +02:00
Benedikt Tutzer
6f8abc1143
Exposed generator script to make-process
2018-09-19 10:32:34 +02:00
Miodrag Milanovic
c5e9034834
Fix Cygwin build and document needed packages
2018-09-19 10:16:53 +02:00
Clifford Wolf
0b7a18470b
Add "make ystests"
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-08-30 12:26:26 +02:00
Clifford Wolf
ddc1761f1a
Add "make coverage"
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-08-27 14:22:21 +02:00
Clifford Wolf
9e845bd254
Add ENABLE_GCOV build option
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-08-27 13:27:05 +02:00
Miodrag Milanovic
306a010e19
static link flag on main executable
2018-08-25 16:20:44 +02:00
Miodrag Milanovic
75d1852943
no -fPIC for any static build
2018-08-18 19:17:02 +02:00
Miodrag Milanovic
443865ab87
respect DISABLE_ABC_THREADS if used
2018-08-18 18:21:28 +02:00
Miodrag Milanovic
45740236b6
Enable propagating ARCHFLAGS
2018-08-18 15:11:58 +02:00
Miodrag Milanovic
539053ab68
Added option to disable -fPIC on unsupported platforms
2018-08-18 14:14:17 +02:00
Miodrag Milanovic
3e20788c24
Added gcc-static for easier cross compilation
2018-08-18 14:00:55 +02:00
Benedikt Tutzer
d79a2808cf
Python Passes can now be added with the -m option or with the plugin command. There are still issues when run in shell mode, but they can be used just fine in a python script
2018-08-16 16:00:11 +02:00
Miodrag Milanovic
a5136c768b
Changes for MXE configuration in order to compile
2018-08-15 19:08:45 +02:00
Clifford Wolf
ed32760d4a
Merge pull request #573 from cr1901/msys-64
...
Add support for 64-bit builds using msys2 environment, use msys-provided `libpthread`.
2018-08-15 14:20:10 +02:00
Benedikt Tutzer
bf7b73acfc
Added Wrappers for:
...
-IdString
-Const
-CaseRule
-SwitchRule
-SyncRule
-Process
-SigChunk
-SigBit
-SigSpec
With all their member functions as well as the remaining member
functions for Cell, Wire, Module and Design and static functions of
rtlil.h
2018-08-13 15:18:46 +02:00
Benedikt Tutzer
b57dafce68
removed unused library and already present compiler flag
2018-08-01 10:57:33 +02:00
Clifford Wolf
b50fe1e3e9
Upodate ABC to git rev ae6716b
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-07-22 14:35:32 +02:00
Clifford Wolf
ab700ef215
Add missing -lz to MXE build
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-07-22 14:28:45 +02:00
William D. Jones
7e5801beed
Add support for 64-bit builds using msys2 environment.
2018-06-27 16:36:18 -04:00
William D. Jones
ee7164b879
Use msys2-provided pthreads instead of abc's.
2018-06-27 16:26:36 -04:00
Benedikt Tutzer
a27fa1833e
added wrappers for Design, Modules, Cells and Wires
2018-06-25 17:08:29 +02:00
Benedikt Tutzer
4d4117c998
added ENABLE_PYTHON option in build environment
2018-06-22 11:15:03 +02:00
Serge Bazanski
53e9a1549c
Add Protobuf backend
...
Signed-off-by: Serge Bazanski <q3k@symbioticeda.com>
2018-06-19 13:34:56 +01:00
Clifford Wolf
a77e27ab15
Update ABC to git rev 6df1396
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-05-30 13:10:10 +02:00
Robert Ou
bea71e71ca
Force abc to align memory to 8 bytes
...
Apparently abc has a memory pool implementation that by default returns
memory that is unaligned. There is a workaround in the abc makefile that
uses uname to look for "arm" specifically and then sets the alignment.
However, ARM is not the only platform that requires proper alignment
(e.g. emscripten does too). For now, pessimistically force the alignment
for 8 bytes all the time (somehow 4 wasn't enough for fixing emscripten
despite being approximately a 32-bit platform).
2018-05-18 22:53:52 -07:00
Robert Ou
d9ef793430
Force abc to be linked statically and without threads in emscripten
2018-05-18 22:53:47 -07:00
Robert Ou
93f79299a5
Add options to disable abc's usage of pthreads and readline
2018-05-18 22:42:24 -07:00
Robert Ou
bfce3a7479
Add an option to statically link abc into yosys
...
This is currently incomplete because the output filter no longer works.
2018-05-18 22:35:28 -07:00
Robert Ou
1b210dbfb7
Makefile: Make abc always use stdint.h
2018-05-18 22:26:29 -07:00
Clifford Wolf
ae33026799
Use $(OS) in makefile to check for Darwin
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-05-13 13:29:18 +02:00
Johnny Sorocil
74f2787b10
Enable building on FreeBSD
2018-05-06 15:19:44 +02:00
Clifford Wolf
ea3ff6f59c
Update ABC to git rev f23ea8e
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-04-30 19:50:34 +02:00
Clifford Wolf
2f0ecff71c
Improve Makefile error handling for when abc/ is a hg working copy
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-04-12 14:02:57 +02:00
Clifford Wolf
6f681c4f82
Fix build for new ABC location on github, also update ABC to a2d59be
2018-03-27 00:39:01 +02:00
Clifford Wolf
a15208f301
Use Verific hier_tree component for elaboration
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-08 13:26:33 +01:00
Clifford Wolf
6f26695d9b
Add -lz for verific builds
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-02-27 12:15:42 +01:00
William D. Jones
b0b08da5cb
Improve msys2 flags for building abc.
2018-02-19 12:54:34 -05:00
Clifford Wolf
c1abd3b02c
Fixed yosys-config for binary distributions with Verific
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-02-13 15:22:50 +01:00
Clifford Wolf
82c436587c
Do not create deep backtraces unless in ENABLE_DEBUG mode
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-02-03 15:04:39 +01:00
Clifford Wolf
318be8651c
Use "strip -S" instead of "strip -d" for Mac OS X compatibility
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-01-19 23:56:23 +01:00
Clifford Wolf
57e02b6629
Strip debug symbols from binaries on install
2018-01-17 14:14:10 +01:00
Clifford Wolf
b557989576
Update ABC to hg rev 6e3c24b3308a
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-01-07 13:47:59 +01:00
Clifford Wolf
8f2638ae2f
Use "hg ... --insecure" for cloning/pulling ABC
2017-12-03 06:11:11 +01:00
Clifford Wolf
d5e6a73c8a
Update ABC to hg rev 31fc97b0aeed
2017-12-02 21:24:12 +01:00
Clifford Wolf
9ae25039fb
Add support for editline as replacement for readline
2017-11-08 02:55:00 +01:00
Clifford Wolf
9a038861c8
Add ENABLE_DEBUG config flag
2017-10-25 14:57:16 +02:00
Clifford Wolf
af36755e0a
Update ABC to hg rev f6838749f234
2017-10-25 14:51:59 +02:00
Clifford Wolf
2b03a73a46
Update ABC to hg rev 6283c5d99b06
2017-10-11 13:58:51 +02:00
Clifford Wolf
2b04e8caa6
Update ABC to hg rev 0fc1803a77c0
2017-10-06 10:07:33 +02:00
Clifford Wolf
76c11d7454
Update ABC to hg rev cd6984ee82d4
2017-09-15 21:25:59 +02:00
Clifford Wolf
1dc921d9a1
Add "-undefined dynamic_lookup" to OSX "yosys-config --ldflags"
2017-08-04 11:24:58 +02:00
Robert Ou
85d667ca08
makefile: Add the option to use libtermcap
2017-07-17 14:21:59 -07:00
Salvador E. Tropea
fb30511044
Added the test outputs to the clean target
2017-07-03 13:33:11 -03:00
Clifford Wolf
0290b68a44
Update ABC to hg rev efbf7f13ea9e
2017-05-31 11:55:37 +02:00
Clifford Wolf
662a047815
Enable readline and tcl in mxe builds
2017-05-17 20:46:22 +02:00
Clifford Wolf
241dc7dfb4
Update ABC to hg rev e79576e10d72
2017-05-11 10:32:32 +02:00
Clifford Wolf
d6858ad15b
Update ABC to hg rev 3a95bfa55df7
2017-02-25 22:59:34 +01:00
Josh Headapohl
fde9fdfbe8
Add missing slashes in paths for make uninstall
...
Running make uninstall used to fail to remove binaries:
rm -vf /usr/local/binyosys /usr/local/binyosys-config #...etc
Fix Makefile so that it runs a command like this:
rm -vf /usr/local/bin/yosys /usr/local/bin/yosys-config #...etc
2017-02-23 20:21:03 -05:00
Clifford Wolf
d25b6a72ee
Update ABC to hg rev 8da4dc435b9f
2017-02-22 19:20:47 +01:00
Clifford Wolf
6d4e8673cc
Evaluate all the $(shell ...) stuff for CXXFLAGS et al only once
2017-02-11 10:28:13 +01:00
Clifford Wolf
a1a82d68f5
Make MacOS Makefile stuff more compact
2017-02-11 10:19:21 +01:00
Clifford Wolf
a88e019b0c
Merge branch 'master' of https://github.com/stv0g/yosys into stv0g-master
2017-02-11 10:12:17 +01:00
Steffen Vogel
422ffd5c06
Use pkg-config for linking tcl-tk
...
Both MacPorts and Homebrew have a pkg-config file for TCL. So lets use it.
2017-02-10 10:06:54 -03:00
Steffen Vogel
9eca3671ab
Dont mix Homebrew and MacPorts build options
2017-02-10 10:04:42 -03:00
Steffen Vogel
94c76f85da
Applied fixes from @joshhead (thanks for your effors!)
2017-02-09 18:53:37 -03:00
Steffen Vogel
7e08e37961
Fix compilation on OS X in order to support both MacPorts and Homebrew
2017-02-07 11:16:56 -03:00
Steffen Vogel
19f36271c2
Allow standard tools to be overwritten in make invocation
2017-02-07 11:09:15 -03:00
Clifford Wolf
19303f6392
Update ABC to hg rev a2fcd1cc61a6
2017-02-05 20:04:17 +01:00
Clifford Wolf
249ddbc16c
Update ABC to hg rev fe96921e5d50
2017-02-01 11:15:37 +01:00
Steffen Vogel
44b47b57e3
use Homebrew only if installed
2017-01-31 10:06:06 -03:00
Clifford Wolf
8953a55cd8
Update ABC to hg id f8cadfe3861f
2017-01-11 10:56:27 +01:00
Clifford Wolf
8012de40b9
Updated ABC to hg id 38b26a543f1d
2017-01-08 11:57:52 +01:00
Clifford Wolf
a7fb64efe6
Updated ABC to hg id 55cd83f432c0
2016-12-31 21:52:27 +01:00
Clifford Wolf
7da7a6d1df
Updated ABC to hg id 8c6a635f7a20
2016-12-29 12:20:35 +01:00
Clifford Wolf
4f5efc3416
Updated ABC to hg id f591c081d5e7
2016-12-26 17:52:38 +01:00
Clifford Wolf
f31e6a7174
Updated ABC to hg rev a4872e22c646
2016-12-21 10:16:10 +01:00
Clifford Wolf
3d0e51f813
Updated ABC to hg rev 8bab2eedbba4
2016-12-21 09:13:20 +01:00
rodrigosiqueira
b932e2355d
Improved unit test structure
...
Signed-off-by: rodrigosiqueira <rodrigosiqueiramelo@gmail.com>
Signed-off-by: chaws <18oliveira.charles@gmail.com>
* Merged run-all-unitest inside unit-test target
* Fixed Makefile dependencies
* Updated documentation about unit test
2016-12-10 18:21:56 -02:00
rodrigosiqueira
e0152319f5
Added required structure to implement unit tests
...
Added modifications inside the main Makefile to refers the unit test Makefile.
Added separated Makefile only for compiling unit tests.
Added simple example of unit test.
Signed-off-by: Charles Oliveira <18oliveira.charles@gmail.com>
Signed-off-by: Pablo Alejandro <pabloabur@usp.br>
Signed-off-by: Rodrigo Siqueira <siqueira@ime.usp.br>
2016-12-04 11:34:27 -02:00
Clifford Wolf
8a90e61c1a
Updated ABV to hg rev 8b555d9e67cf
2016-12-01 17:45:40 +01:00
oldtopman
277f478572
Added optional flag for linking curses with readline.
2016-11-21 23:11:58 -07:00
Clifford Wolf
e3330fb98f
We are now in 0.7+ development
2016-11-03 10:31:51 +01:00
Clifford Wolf
61f6811627
Yosys 0.7
2016-11-03 09:08:43 +01:00
Clifford Wolf
7fc69b3095
Fixed version string for out-of-tree builds
2016-10-14 17:18:18 +02:00
Clifford Wolf
09aeb9a2aa
Merge branch 'master' of github.com:cliffordwolf/yosys
2016-10-14 09:36:40 +02:00
Clifford Wolf
788e51164e
Added YOSYS_VER_STR make variable
2016-10-14 09:35:18 +02:00
Salvador E. Tropea
80749f174c
Ugh! extra patches got here, reverting
2016-10-13 17:57:09 -03:00
Salvador E. Tropea
cc8f29a1e6
Allow to overwrite ABCEXTERNAL from the environment.
...
In this way Debian scripts can define it as berkeley-abc from the shell.
2016-10-13 17:51:14 -03:00
Salvador E. Tropea
f263b175b5
Modified test target name (to test-all)
...
As this target depends on external tools, and packagers run "make test",
I think the name should be less generic.
2016-10-13 17:38:42 -03:00
Salvador E. Tropea
77ce8139a5
Added a new configuration variable GIT_REV_WHERE
...
It determines from where we get the gits SHA1 value. By default is HEAD,
suitable for Clifford, but for Debian we can define it as upstream/master
2016-10-13 17:34:15 -03:00
Clifford Wolf
e586e5e15a
Update ABV to hg rev eb6eca6807cc
2016-10-02 22:08:53 +02:00
Clifford Wolf
23594597bc
Updated ABV to hg rev 6b74de13c57f
2016-10-01 12:23:24 +02:00
Clifford Wolf
ca5462523e
Updated ABV to hg rev 2bc57cc30593
2016-09-30 10:56:36 +02:00
Eric Smith
f4240cc8a4
Add optional SEED=n command line option to Makefile, and -S n command line option to test scripts, for deterministic regression tests.
2016-09-22 11:49:29 -06:00
Clifford Wolf
ceff7ecd91
Install celledges.h
2016-09-07 13:43:57 +02:00
Clifford Wolf
e2570ffb87
Updated ABC to hg 8e08604f8ad3
2016-09-07 11:08:54 +02:00
Russell L Friesenhahn
ee620c6a24
Relax test to see if yosys dir is a git repository in Makefile
...
This prevents the test from failing in the case that yosys is a
submodule of a repository since for a submodule the .git is actually a
file containing the location of the submodule's .git directory
2016-08-26 11:15:36 -05:00
Russell L Friesenhahn
23f217b166
Allow redefining of the ABC repository URL
...
For persons or organizations that prefer to keep their own mirrors of
repositories, users may now specify the URL of the ABC Mercurial
repository that yosys clones during build.
The URL may be set in the Makefile directly, on the
command-line, or in the environment
2016-08-26 11:14:24 -05:00
Clifford Wolf
42a971226b
Fixed default build config
2016-08-16 22:44:38 +02:00
William D. Jones
5299b17056
Add MSYS2-compatible build.
2016-08-16 14:41:59 -04:00
Clifford Wolf
5531bd7578
Updated ABC to hg rev a86455b00da5
2016-08-16 09:08:26 +02:00
Clifford Wolf
b4d544f0d9
Updated ABC to hg rev 760ba358e790
2016-08-16 00:56:42 +02:00
Clifford Wolf
4561586eed
ABC mxe cross-build fix
2016-08-16 00:52:10 +02:00
Clifford Wolf
f162b858f2
Added CellEdgesDatabase API
2016-07-24 13:59:57 +02:00
Clifford Wolf
c3365034e9
Updated ABC to hg rev b5df6e2b76f0
2016-06-17 11:16:31 +02:00
Clifford Wolf
407cdea0bc
Updated min GCC requirement to GCC 4.8
2016-05-11 09:31:53 +02:00
Clifford Wolf
f103bfb9ba
Fixes for MXE build
2016-05-07 10:53:18 +02:00
Clifford Wolf
06d35ea942
Improved TCL_VERSION detection so it does not read .tclshrc
2016-04-29 10:26:22 +02:00
Clifford Wolf
38245b6733
Added msan origins tracking
2016-04-05 13:25:05 +02:00
Sergey Kvachonok
963c0d2525
Embed DATDIR make variable value into yosys binary.
...
Use it as the last resort in the share/ directory location search.
2016-03-26 11:16:53 +03:00
Sergey Kvachonok
d53a16e43a
Allow redefining pkg-config Makefile command.
...
Example usage:
$ make CXX=i686-w64-mingw32-g++ PKG_CONFIG=i686-w64-mingw32-pkg-config
2016-03-25 10:35:42 +03:00
Sergey Kvachonok
972f4a9616
Allow redefining binary and data install locations.
...
Add three more Makefile variables in addition to PREFIX:
$ make BINDIR=/.../bin LIBDIR=/.../lib DATDIR=/.../share/yosys
The defaults are:
BINDIR = $(PREFIX)/bin
LIBDIR = $(PREFIX)/lib
DATDIR = $(PREFIX)/share/yosys
2016-03-25 10:35:42 +03:00
Clifford Wolf
4f2ea221dc
Added ast.h to exported headers
2016-03-22 14:46:10 +01:00
Clifford Wolf
bb9374b67c
Improvements in ABCEXTERNAL handling
2016-03-19 20:02:40 +01:00
Sergey Kvachonok
2656b2c55a
Support calling out to an external ABC.
...
$ make ABCEXTERNAL=my-abc && make ABCEXTERNAL=my-abc install
configures yosys to use an external ABC executable instead of
building and installing the in-tree ABC copy (yosys-abc).
2016-03-19 18:36:18 +03:00
Clifford Wolf
c89f61c730
We are now in 0.6+ development
2016-02-26 17:24:31 +01:00
Clifford Wolf
5869d26da0
Yosys 0.6
2016-02-26 16:55:21 +01:00
Clifford Wolf
7a9257e7b5
Updated ABC to ae7d65e71adc
2016-02-15 15:30:46 +01:00
Clifford Wolf
0373bd98bb
Fixed MXE ABC build
2016-02-13 15:43:23 +01:00
Clifford Wolf
840a6dc893
Updated ABC
2016-02-08 01:13:53 +01:00
Clifford Wolf
e7bec9bbb8
Updated ABC
2016-02-07 08:56:32 +01:00
Clifford Wolf
7ef613ebdf
Updated ABC to hg rev ee212a9e94df
2016-02-01 15:51:27 +01:00
Clifford Wolf
71f418c468
More clang sanitizer stuff
2016-01-31 19:55:48 +01:00
Clifford Wolf
fe97110be0
Addedd clang sanitizers
2016-01-31 16:08:21 +01:00
Micah Elizabeth Scott
7948156abf
Mac build fix, gsed -> sed
...
Homebrew is calling its GNU sed just 'sed' now.
2015-12-15 10:22:35 -08:00
Clifford Wolf
b18f3a2974
Changes for Verific 3.16_484_32_151112
2015-11-12 19:28:14 +01:00
Ruben Undheim
978933704b
Use DESTDIR as defined in https://www.gnu.org/prep/standards/html_node/DESTDIR.html
...
This is needed for painless packaging of yosys
2015-10-11 00:56:20 +02:00
Ruben Undheim
2792b00792
Use LDFLAGS, CXXFLAGS and CPPFLAGS from the environment when building
2015-10-11 00:47:37 +02:00
Clifford Wolf
405cf67b64
Fixed emcc build
2015-09-21 12:33:36 +02:00
Clifford Wolf
aedcfd6fd3
Fixed Makefile rules for generated share files
2015-08-16 21:15:07 +02:00
Larry Doolittle
1e67b29919
Fix version strings for out-of-tree builds
...
Still assumes source tree is a git repository
2015-08-14 23:27:19 +02:00
Clifford Wolf
fc20b1c3d2
Fixed "make clean" for out-of-tree builds
2015-08-12 16:54:30 +02:00
Clifford Wolf
e4ef000b70
Adjust makefiles to work with out-of-tree builds
...
This is based on work done by Larry Doolittle
2015-08-12 15:04:44 +02:00