diff options
| author | Xiretza <xiretza@xiretza.xyz> | 2020-05-30 11:21:40 +0200 |
|---|---|---|
| committer | Xiretza <xiretza@xiretza.xyz> | 2020-05-30 11:21:40 +0200 |
| commit | 8b0ec3c3a24108d7d3bf42e05effd561d10a918b (patch) | |
| tree | 362f6ef771954359a442b52036d8c0e428ff6992 /backends/aiger/aiger.cc | |
| parent | 0a14e1e837ad0aeae6944a9eafe1a14b79c12cb3 (diff) | |
| download | yosys-8b0ec3c3a24108d7d3bf42e05effd561d10a918b.tar.gz yosys-8b0ec3c3a24108d7d3bf42e05effd561d10a918b.tar.bz2 yosys-8b0ec3c3a24108d7d3bf42e05effd561d10a918b.zip | |
Use in-tree include directory in manual build
This is basically the same issue as in tests/various/plugin.sh,
which uses yosys-config to compile a plugin. `yosys-config --cxxflags`
points to `$PREFIX/share/` (/usr/local/share by default), which might
not exist yet or might be out of date. Building directly from the
headers in ./share/ avoids this.
Diffstat (limited to 'backends/aiger/aiger.cc')
0 files changed, 0 insertions, 0 deletions
