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/11/21 11:22] alisa [Running the analysis] |
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 17: | Line 18: | ||
cabal build | cabal build | ||
</code> | </code> | ||
- | is required to rebuild when files have changed. | + | is required to rebuild when files have changed. If the building starts giving error messages like |
+ | <code> | ||
+ | dist/build/banach/banach-tmp/XXXX.o: In function `c4IVe_info': | ||
+ | (.text+0x40420): undefined reference to `YYYY_zdsfromList1_info' | ||
+ | </code> | ||
+ | it is sufficient to make a formal change in the file XXXX.hs (e.g. add an empty row) to force its re-build. | ||
If dependencies or project structure have changed, then run the configuration again. | If dependencies or project structure have changed, then run the configuration again. | ||
Line 26: | 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 ===== | ||