summaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* do not include -lrt or -ldl on platform that do not support themJosuah Demangeon2022-07-151-2/+2
| | | | | Some platforms were already listed, this includes OpenBSD to the list and makes it easier to add more.
* Merge remote-tracking branch 'upstream/master' into yosys-experimentalMiodrag Milanovic2022-07-041-2/+2
|\
| * Move CI to GitHub Actions.Baruch Sterin2022-01-221-2/+2
| | | | | | | | Also, a few minor changes that are required to compile ABC under moder compilers.
* | Merge remote-tracking branch 'upstream/master' into yosys-experimentalMiodrag Milanovic2021-11-121-1/+1
|\|
| * Makefile: support ccache for compiling ABC.Baruch Sterin2020-11-191-3/+3
| | | | | | | | Surround $(CC), $(CXX) with double quotes when calling depends.sh, to allow space-delimited compilation tools to be used.
| * Duplicating Glucose package.Alan Mishchenko2020-11-121-1/+1
| |
* | Makefile: support ccache for compiling ABC.Baruch Sterin2020-11-241-3/+3
| | | | | | | | Surround $(CC), $(CXX) with double quotes when calling depends.sh, to allow space-delimited compilation tools to be used.
* | Makefile: break apart steps in `make clean`Sean Cross2020-05-011-1/+4
|/ | | | | | | | | | | | | | | | | | | | The `make clean` target consists of a single `rm` call that passes every generated file, object file, and dependency directory. This results in a command line that's around 53,800 characters long. On Linux, the maximum length of a command line is 131,072 or 262,144 characters, however on Windows the limit is 32,768. The 53,800 character command simply fails to run on Windows, which is a problem when the first command that gets run is `make clean`. Break this target into steps, first removing the output files, then the object files, then any generated garbage, and then the object depedency directories. This fixes `make clean` (and as a result yosys) on Windows. Signed-off-by: Sean Cross <sean@xobs.io>
* Allow changing the `ar` binary.whitequark2020-04-301-2/+3
| | | | | | | This is useful for cross-compilation, when build `ar` cannot handle the target object files. The invocation of `ranlib` is replaced with `ar s`, which is equivalent and simplifies the build system a bit.
* Experiments with word-level retiming.Alan Mishchenko2018-09-301-1/+1
|
* Changing makefile to suppress warnings with GCC 5+Alan Mishchenko2018-06-081-1/+6
|
* Makefile: add support for ABC_USE_STDINT_HBaruch Sterin2018-03-301-1/+7
|
* Suggested fix to compile on FreeBSD.Alan Mishchenko2018-02-051-2/+11
|
* Patch by Larry Doolittle to allow out-of-source builds of ABC.Baruch Sterin2017-10-201-6/+7
| | | | | | | | | | | | | | | | Usage: Starting from an empty directory: (1) set AS to point to the location of ABC (2) reconstruct the directory structure of ABC in the new directory: mkdir -p `cd $AS && find src -type d` (3) Build ABC: make -f $AS/Makefile VPATH=$AS ABCSRC=$AS
* Changes and fixed suggested by Clifford Wolf.Alan Mishchenko2017-09-151-0/+4
|
* Adding Glucose 3.0 as a separate package.Alan Mishchenko2017-09-061-1/+1
|
* Experiments with new network data-structure.Alan Mishchenko2017-03-191-1/+1
|
* Adding a new SAT solver to ABC. (Satoko)Bruno Schmitt2017-02-061-1/+1
| | | | The command is ‘satoko’
* (1) Makefile: added a shared library target, (2) no longer compile the main ↵Baruch Sterin2016-12-221-1/+7
| | | | function as part of libabc.a
* xSAT is an experimental SAT Solver based on Glucose v3(see Glucose ↵Bruno Schmitt2016-12-121-1/+1
| | | | | | | | | | | | | | copyrights below) and ABC C version of MiniSat (bsat) developed by Niklas Sorensson and modified by Alan Mishchenko. It’s development has reached sufficient maturity to be committed in ABC, but still in a beta state. TODO: * Read compressed CNF files. * Study the use of floating point for variables and clauses activity. * Better documentation. * Improve verbose messages. * Expose parameters for tuning.
* New SAT-based optimization package.Alan Mishchenko2016-11-171-1/+1
|
* Disjoint-support decomposition with cofactoring and boolean difference analysisVinicius Callegaro2016-11-081-1/+1
| | | | | from V. Callegaro, F. S. Marranghello, M. G. A. Martins, R. P. Ribas and A. I. Reis, entitled "Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysis" presented in ICCD'15.
* Add a new module which implements the fast extract with cube hashing (fxch) ↵Bruno Schmitt2016-05-111-1/+1
| | | | | | algorithm. Removes old partial implementation of this algorithm from the "pla" module.
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-1/+1
|
* Typo in Makefile.Alan Mishchenko2016-04-121-1/+1
|
* Updates to Exorcism packageAlan Mishchenko2016-04-111-1/+1
|
* Updates to Exorcism packageAlan Mishchenko2016-04-111-1/+1
|
* CMake, Makefile: pass the location of arch_flags to the makefile, this way ↵Baruch Sterin2015-11-121-3/+5
| | | | the cmake build does not write to the soruce directory
* CMakeLists.txt, Makefile: fix a bug in passing the readline optionsBaruch Sterin2015-11-071-7/+0
|
* pyabc: remove python integration from abc, it is moved to a separate extensionBaruch Sterin2015-11-051-2/+1
|
* CMakeLists.txt, Makefile: pass readline flags from the CMake lists file to ↵Baruch Sterin2015-11-051-0/+10
| | | | the Makefile.
* CMakeLists.txt: pass CXX flags from the MakefileBaruch Sterin2015-11-051-0/+1
|
* Restoring Aaron Hurst's "fretime" commandBaruch Sterin2015-10-281-1/+1
|
* Makefile: Add a CMakeLists.txt that uses the regular Makefile to compute ↵Baruch Sterin2015-10-211-1/+8
| | | | flags and source file. This is a ugly hack, mainly to allow the use of CLion with ABC. Include some changes in the Makefile to support that.
* Makefile: (1) split CFLAGS into OPTFLAGS, INCLUDES, and CFLAGSBaruch Sterin2015-10-211-7/+9
|
* Makefile: fix a typo in -fPIC flagBaruch Sterin2015-10-211-1/+1
|
* Makefile: add ABC_MAKE_VERBOSE flag to print the acutall commands executed.Baruch Sterin2015-10-161-13/+27
|
* Makefile: make namespaces/readline/threads/cudd options easier to useBaruch Sterin2015-10-161-18/+35
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+1
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-5/+4
|
* Renaming Cba into Bac.Alan Mishchenko2015-07-211-1/+1
|
* Bug fix for big-endiang architectures (plus adding -lm in Makefile).Alan Mishchenko2015-04-041-1/+1
|
* Scalable SOP manipulation package.Alan Mishchenko2015-03-181-2/+2
|
* Change to Makefile to speedup compilation.Alan Mishchenko2015-02-051-1/+3
|
* Change to Makefile to speedup compilation.Alan Mishchenko2015-02-051-1/+1
|
* Fixing reported memory alignment issue.Alan Mishchenko2015-01-271-1/+4
|
* New parser and framework.Alan Mishchenko2014-11-291-1/+1
|
* Changing LIBS in Makefie.Alan Mishchenko2014-11-031-1/+1
|
* Changes to enable building external code.Alan Mishchenko2014-10-281-1/+1
|
* Changes to enable building external code.Alan Mishchenko2014-10-271-1/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-10 15:36:36 +0000