Use in-tree include directory in manual build
authorXiretza <xiretza@xiretza.xyz>
Sat, 30 May 2020 09:21:40 +0000 (11:21 +0200)
committerXiretza <xiretza@xiretza.xyz>
Sat, 30 May 2020 09:21:40 +0000 (11:21 +0200)
commit8b0ec3c3a24108d7d3bf42e05effd561d10a918b
tree362f6ef771954359a442b52036d8c0e428ff6992
parent0a14e1e837ad0aeae6944a9eafe1a14b79c12cb3
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.
manual/PRESENTATION_Prog/Makefile