mirror of
https://github.com/RTimothyEdwards/netgen.git
synced 2026-08-22 22:17:22 +02:00
"prefix" with the specified path during install, so that netgen can be installed in a separate location to be migrated to the final install location, without appending the entire install path to DESTDIR.