Building Problem

[Shreya93ban]

I am trying to build TriQ, and had similar issues as tbcdbug, so I am trying to use the solution there (adding z3 include path). I am using

export PYTHONPATH=${PYTHONPATH}:$~/z3-master/build/python

and then

export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:~/z3-master/build

in my base TriQ directory.
And when I use make, I am getting lots of errors, with

make: *** [: src/pattern.o] Error 1

in the end. (I am guessing that my z3 include path is not added to the directory, as I am getting similar errors when I use make without adding the include path to the directory??)

[Shreya93ban]

I have installed z3 with
sudo apt-get install z3
and tried to build TriQ by ./configure ; make,
and now I am getting an error which says,

Makefile:370: .deps/triq-targetter.Po: No such file or directory
make: *** No rule to make target '.deps/triq-targetter.Po'. Stop.