`make tools` failed in libdft64

[Ricardo-609]

vuzzer64/libdft64/INSTALL

Line 28 in 2b1b0ed

4. Type `make tools' to compile the accompanying tools (e.g., nullpin,

get the error "make: Nothing to be done for 'tools' ", when make tools

[tosanjay]

Foolow the instruction which are in the main README (in the home directory):
0. cd vuzzer64

1. export PIN_HOME=path_to_pin_directory
2. export PIN_ROOT=path_to_pin_directory
3. export DFT_HOME=$(pwd)/libdft64
4. cd fuzzer-code
5. make
6. cd ../libdft64
7. make
8. cd ..

[Ricardo-609]

Hi, tosanjay. what should I do if I want to make libdft alone?

[tosanjay]

This :

cd ../libdft64
make