cvw/wally-pipelined/testbench/fp/SoftFloat-3e/build/Linux-x86_64-GCC
..
Makefile
platform.h