sql-derivative-sensitivity-analyser_install
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
sql-derivative-sensitivity-analyser_install [2018/12/16 14:18] alisa [Local sensitivity part] |
sql-derivative-sensitivity-analyser_install [2019/09/29 16:55] admin [Local sensitivity part] |
||
|---|---|---|---|
| Line 8: | Line 8: | ||
| <code> | <code> | ||
| cabal sandbox init | cabal sandbox init | ||
| + | cabal update | ||
| cabal install --only-dependencies | cabal install --only-dependencies | ||
| cabal configure | cabal configure | ||
| Line 31: | Line 32: | ||
| </code> | </code> | ||
| + | After executing previous commands, go to pleak-sql-analysis/banach directory and execute: | ||
| + | <code> | ||
| + | chmod a+x sqlsa-quiet | ||
| + | </code> | ||
| ===== Derivative sensitivity part ===== | ===== Derivative sensitivity part ===== | ||
sql-derivative-sensitivity-analyser_install.txt ยท Last modified: 2019/12/07 16:03 by alisa
Page Tools
