mirror of
https://github.com/RTimothyEdwards/netgen.git
synced 2026-08-22 14:07:07 +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.