The make input target fails because it tries to download the input files from http://iss.oden.utexas.edu/projects/galois/downloads/small_inputs_for_lonestar_test.tar.gz and works with http://iss.oden.utexas.edu/projects/galois/downloads/small_inputs_for_lonestar_test.tar.gz
The
make input
target fails because it tries to download the input files fromhttp://iss.oden.utexas.edu/projects/galois/downloads/small_inputs_for_lonestar_test.tar.gz
and works withhttp://iss.oden.utexas.edu/projects/galois/downloads/small_inputs_for_lonestar_test.tar.gz