{"action":"created","issue":{"url":"https://api.github.com/repos/newca12/gapt/issues/272","labels_url":"https://api.github.com/repos/newca12/gapt/issues/272/labels{/name}","comments_url":"https://api.github.com/repos/newca12/gapt/issues/272/comments","events_url":"https://api.github.com/repos/newca12/gapt/issues/272/events","html_url":"https://github.com/newca12/gapt/issues/272","id":55612167,"number":272,"title":"scaladoc generation fails with fatal error: scala.reflect.Manifest not found","user":{"login":"newca12","id":543542,"avatar_url":"https://avatars.githubusercontent.com/u/543542?v=3","gravatar_id":"","url":"https://api.github.com/users/newca12","html_url":"https://github.com/newca12","followers_url":"https://api.github.com/users/newca12/followers","following_url":"https://api.github.com/users/newca12/following{/other_user}","gists_url":"https://api.github.com/users/newca12/gists{/gist_id}","starred_url":"https://api.github.com/users/newca12/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/newca12/subscriptions","organizations_url":"https://api.github.com/users/newca12/orgs","repos_url":"https://api.github.com/users/newca12/repos","events_url":"https://api.github.com/users/newca12/events{/privacy}","received_events_url":"https://api.github.com/users/newca12/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/newca12/gapt/labels/1%20star","name":"1 star","color":"FFFFFF"},{"url":"https://api.github.com/repos/newca12/gapt/labels/bug","name":"bug","color":"FFFFFF"},{"url":"https://api.github.com/repos/newca12/gapt/labels/imported","name":"imported","color":"FFFFFF"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2015-01-27T12:33:48Z","updated_at":"2015-01-27T12:34:06Z","closed_at":null,"body":"_From [stefan.hetzl](https://code.google.com/u/stefan.hetzl/) on October 17, 2014 11:06:28_\n\nAfter having done \"mvn install\" in source I do \"./scaladoc.sh\" in the main directory which results in:\r\n\r\nsource/provers/veriT/src/main/scala/VeriTProver.scala:50: error: ';' expected but string literal found.\r\n    val output = s\"veriT --proof=- --proof-version=1 $smtBenchmark\".!!\r\n                  ^\r\nsource/algorithms/llk/src/main/scala/at/logic/algorithms/llk/TokenToLKConverter.scala:104: error: ')' expected but string literal found.\r\n            case e:Exception => throw new HybridLatexParserException(\"Error in parsing CONTINUEWITH{\"+name+\"}{\"+a+\"}{\"+s\"}: \"+e.getMessage, e)\r\n                                                                                                                        ^\r\nerror: fatal error: object scala.reflect.Manifest not found.\r\nthree errors found\r\n\r\nThe scaladoc-directory is empty afterwards.\n\n_Original issue: http://code.google.com/p/gapt/issues/detail?id=272_"},"comment":{"url":"https://api.github.com/repos/newca12/gapt/issues/comments/71640940","html_url":"https://github.com/newca12/gapt/issues/272#issuecomment-71640940","issue_url":"https://api.github.com/repos/newca12/gapt/issues/272","id":71640940,"user":{"login":"newca12","id":543542,"avatar_url":"https://avatars.githubusercontent.com/u/543542?v=3","gravatar_id":"","url":"https://api.github.com/users/newca12","html_url":"https://github.com/newca12","followers_url":"https://api.github.com/users/newca12/followers","following_url":"https://api.github.com/users/newca12/following{/other_user}","gists_url":"https://api.github.com/users/newca12/gists{/gist_id}","starred_url":"https://api.github.com/users/newca12/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/newca12/subscriptions","organizations_url":"https://api.github.com/users/newca12/orgs","repos_url":"https://api.github.com/users/newca12/repos","events_url":"https://api.github.com/users/newca12/events{/privacy}","received_events_url":"https://api.github.com/users/newca12/received_events","type":"User","site_admin":false},"created_at":"2015-01-27T12:34:06Z","updated_at":"2015-01-27T12:34:06Z","body":"_From [fra...@gmail.com](https://code.google.com/u/108596877348066494139/) on October 20, 2014 02:04:02_\n\nI can confirm that upgrading to scala 2.11.2 on ubuntu fixes this issue. You can find scala .deb packages at http://www.scala-lang.org/files/archive/ ."}}