ucsd-progsys
Trouble building HTML of tutorial
I have finally gotten around to working on this issue https://github.com/ucsd-progsys/liquidhaskell/issues/1345 but I wanted to build the HTML docs first.
I've followed the instructions but am running into this error
make html
stack exec -- toc src/ templates/pagemeta.template templates/index.template dist/page.template dist/index.lhs dist/links.txt
Executable named toc not found on path: ["/home/jesse/projects/liquidhaskell-tutorial/.stack-work/install/x86_64-linux/lts-10.3/8.2.2/bin","/home/jesse/.stack/snapshots/x86_64-linux/lts-10.3/8.2.2/bin","/home/jesse/.stack/compiler-tools/x86_64-linux/ghc-8.2.2/bin","/home/jesse/.stack/programs/x86_64-linux/ghc-8.2.2/bin","/home/jesse/.rbenv/shims","/home/jesse/.rbenv/bin","/home/jesse/.local/bin","/usr/local/sbin","/usr/local/bin","/usr/sbin","/usr/bin","/sbin","/bin","/usr/games","/usr/local/games","/snap/bin"]
Makefile:82: recipe for target 'dist/index.lhs' failed
make: *** [dist/index.lhs] Error 1
After sifting through the make file I found the culprit line I think:
https://github.com/ucsd-progsys/liquidhaskell-tutorial/blob/2913cc4cbe9bd77894a6aac92f604d3dd525c77f/Makefile#L21
I'm not really sure where the toc command comes from and my google searches were fruitless. Can you help me out here? On the bright side, the pdf builds fine!
Cool! Thanks! Am on a looong flight will let you know in a few days? (IIRC there is a little pandoc script “filter” called toc — should be in the repo...)
On Sat, Aug 4, 2018 at 9:09 PM jessebrennan [email protected] wrote:
I have finally gotten around to working on this issue ucsd-progsys/liquidhaskell#1345 https://github.com/ucsd-progsys/liquidhaskell/issues/1345 but I wanted to build the HTML docs first.
I've followed the instructions but am running into this error
make html stack exec -- toc src/ templates/pagemeta.template templates/index.template dist/page.template dist/index.lhs dist/links.txt Executable named toc not found on path: ["/home/jesse/projects/liquidhaskell-tutorial/.stack-work/install/x86_64-linux/lts-10.3/8.2.2/bin","/home/jesse/.stack/snapshots/x86_64-linux/lts-10.3/8.2.2/bin","/home/jesse/.stack/compiler-tools/x86_64-linux/ghc-8.2.2/bin","/home/jesse/.stack/programs/x86_64-linux/ghc-8.2.2/bin","/home/jesse/.rbenv/shims","/home/jesse/.rbenv/bin","/home/jesse/.local/bin","/usr/local/sbin","/usr/local/bin","/usr/sbin","/usr/bin","/sbin","/bin","/usr/games","/usr/local/games","/snap/bin"] Makefile:82: recipe for target 'dist/index.lhs' failed make: *** [dist/index.lhs] Error 1
After sifting through the make file I found the culprit line I think:
https://github.com/ucsd-progsys/liquidhaskell-tutorial/blob/2913cc4cbe9bd77894a6aac92f604d3dd525c77f/Makefile#L21
I'm not really sure where the toc command comes from and my google searches were fruitless. Can you help me out here? On the bright side, the pdf builds fine!
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/68, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOK9qwDRgfaX7A7-dft7FEP_TqPo6ks5uNkW-gaJpZM4VvMby .
I think it’s this
https://github.com/ucsd-progsys/liquidhaskell-tutorial/blob/master/filters/Toc.hs
On Sat, Aug 4, 2018 at 9:53 PM Ranjit Jhala [email protected] wrote:
Cool! Thanks! Am on a looong flight will let you know in a few days? (IIRC there is a little pandoc script “filter” called toc — should be in the repo...)
On Sat, Aug 4, 2018 at 9:09 PM jessebrennan [email protected] wrote:
I have finally gotten around to working on this issue ucsd-progsys/liquidhaskell#1345 https://github.com/ucsd-progsys/liquidhaskell/issues/1345 but I wanted to build the HTML docs first.
I've followed the instructions but am running into this error
make html stack exec -- toc src/ templates/pagemeta.template templates/index.template dist/page.template dist/index.lhs dist/links.txt Executable named toc not found on path: ["/home/jesse/projects/liquidhaskell-tutorial/.stack-work/install/x86_64-linux/lts-10.3/8.2.2/bin","/home/jesse/.stack/snapshots/x86_64-linux/lts-10.3/8.2.2/bin","/home/jesse/.stack/compiler-tools/x86_64-linux/ghc-8.2.2/bin","/home/jesse/.stack/programs/x86_64-linux/ghc-8.2.2/bin","/home/jesse/.rbenv/shims","/home/jesse/.rbenv/bin","/home/jesse/.local/bin","/usr/local/sbin","/usr/local/bin","/usr/sbin","/usr/bin","/sbin","/bin","/usr/games","/usr/local/games","/snap/bin"] Makefile:82: recipe for target 'dist/index.lhs' failed make: *** [dist/index.lhs] Error 1
After sifting through the make file I found the culprit line I think:
https://github.com/ucsd-progsys/liquidhaskell-tutorial/blob/2913cc4cbe9bd77894a6aac92f604d3dd525c77f/Makefile#L21
I'm not really sure where the toc command comes from and my google searches were fruitless. Can you help me out here? On the bright side, the pdf builds fine!
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/68, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOK9qwDRgfaX7A7-dft7FEP_TqPo6ks5uNkW-gaJpZM4VvMby .
