CVSROOT: /cvs Module name: ports Changes by: [email protected] 2026/09/19 11:53:01
Modified files:
math/lean : Makefile
Added files:
math/lean/patches: patch-src_util_path_cpp
Removed files:
math/lean/patches: patch-src_util_lean_path_cpp
Log message:
Implement get_exe_location with getexecpath(3), functionally
aequivalent with other OS' implementations, instead of previous
hard-coded + SUBST_CMD workaround.
ok tb@ (maintainer)
