Change the behavior of the DESTDIR make variable
-rw-r--r-- 36 .gitignore
-rw-r--r-- 1397 LICENSE
-rw-r--r-- 15519 Makefile.in
-rw-r--r-- 2523 README.md
-rw-r--r-- 11988 aclocal.m4
-rw-r--r-- 1326 config.h.in
-rwxr-xr-x 162328 configure
-rw-r--r-- 4279 configure.ac
drwxr-xr-x - dummy_rocc
drwxr-xr-x - hwacha
drwxr-xr-x - riscv
drwxr-xr-x - rvc
drwxr-xr-x - scripts
drwxr-xr-x - softfloat
drwxr-xr-x - spike_main