diff options
Diffstat (limited to 'nlopt-local-source.patch')
| -rw-r--r-- | nlopt-local-source.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/nlopt-local-source.patch b/nlopt-local-source.patch new file mode 100644 index 0000000..200d01d --- /dev/null +++ b/nlopt-local-source.patch @@ -0,0 +1,11 @@ +--- a/controllers/easynav_mpc_controller/CMakeLists.txt 2026-10-20 09:29:05.457780465 +0000 ++++ b/controllers/easynav_mpc_controller/CMakeLists.txt 2026-10-20 09:29:26.748844852 +0000 +@@ -45,7 +45,7 @@ + set(nlopt_download_options DOWNLOAD_EXTRACT_TIMESTAMP TRUE) + endif() + externalproject_add(nlopt_bundled +- URL https://github.com/stevengj/nlopt/archive/refs/tags/v${nlopt_version}.tar.gz ++ URL file://${CMAKE_CURRENT_SOURCE_DIR}/nlopt-${nlopt_version}.tar.gz + URL_HASH SHA256=53e552d83e9294d67db37f0f4a23f15933a9ef698485301a18b98b40004cf0de + ${nlopt_download_options} + CMAKE_ARGS |