Closed HubLot closed 8 years ago
With the update of Ubuntu on Travis (now ubuntu precise), the installed version of pandoc (or the version available with apt-get) should be recent enough. We may not need to use cabal any more.
Nop, with precice, the pandoc version available is 1.9. The "--filter" option we used required pandoc >= 1.12. We still stuck with cabal :(
So, the issue is that cabal cannot solve the dependencies to install pandoc: either the last one 1.16 or the previous one we used 1.15.X So far everything I tried failed:
--max-backjumps=-1
to the cabal command line (cabal install pandoc --max-backjumps=-1
) to search exhaustively through all packages to resolve dependencies: failed due to a timeout on Travis (it takes too much time).cabal install cabal-install
) then install pandoc (cabal install pandoc --max-backjumps=-1
): the update fails because some libraries cannot be installed...I point out the 2 last options worked on my computer. Since they do, I'll try to retrieve the working version of dependencies and installed them manually in install_pandoc.sh
.
I made it work! The trick is to install the right version of resourcet to help the resolution of the dependencies. See https://github.com/jbarnoud/PBxplore/blob/fix-cabal/doc/source/install_pandoc.sh and https://travis-ci.org/jbarnoud/PBxplore/jobs/106213180.
youhou!
For future reference, I saved the travis log in a gist https://gist.github.com/jbarnoud/6a1436ff6f0e44c79bcb in the mess of that log are the version of everything cabal installed.
Travis cannot install pandoc for building the documentation. Here the log:
I think it's due again to cabal and that the default version of pandoc installed through it has changed again. (see the previous issue #109) I'm on it