chiark / gitweb /
~ianmdlvl / nlopt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13cb4a7) | patch
Use OCTAVE_HOME to determine octave root dir.
authorAtri Bhattacharya <badshah400@gmail.com>
Sat, 2 Jun 2018 14:17:56 +0000 (16:17 +0200)
committerJulien Schueller <schueller@phimeca.com>
Sat, 2 Jun 2018 15:13:00 +0000 (17:13 +0200)
commit0fe575729b613c17f3e1e5d865c4085cc0d01eb5
tree59429d19326f852347e6d02a0292fbefd5e6dd33tree | snapshot
parent13cb4a7eafa696610f4c049a75b1e9c7344e2aa6commit | diff
Use OCTAVE_HOME to determine octave root dir.

The keyword PREFIX is no longer supported by octave-config and
OCTAVE_HOME is to be used in its stead. See
https://hg.savannah.gnu.org/hgweb/octave/rev/b95c430c0649
cmake/FindOctave.cmake diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.