en:dev:development
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| en:dev:development [2024/09/24 12:59] – [Linux (Ubuntu 22.04)] Antonello Lobianco | en:dev:development [2025/05/01 12:15] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 48: | Line 48: | ||
| cd ThirdParty-ASL | cd ThirdParty-ASL | ||
| ./get.ASL | ./get.ASL | ||
| - | ./configure | + | ./ |
| make | make | ||
| sudo make install | sudo make install | ||
| Line 55: | Line 55: | ||
| cd ThirdParty-HSL | cd ThirdParty-HSL | ||
| [extract the HSL archive as `~/ | [extract the HSL archive as `~/ | ||
| - | ./configure | + | ./ |
| make | make | ||
| sudo make install | sudo make install | ||
| Line 122: | Line 122: | ||
| sudo ln -s coin-or coin | sudo ln -s coin-or coin | ||
| </ | </ | ||
| + | |||
| + | ==== Libtool ==== | ||
| + | (may not be necessary) | ||
| + | |||
| + | * '' | ||
| + | * '' | ||
| ===== Windows (XP or 7) ===== | ===== Windows (XP or 7) ===== | ||
en/dev/development.1727182757.txt.gz · Last modified: 2025/05/01 12:16 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
