Package build fails with the following:
ocamlc version 4.02.0 found.
ocamlopt.opt version 4.02.0 found. Native compilation enabled.
test ocamlopt.opt -I +lablgtk2
Configuration summary:
binaries will be copied to /usr/bin
man pages will be copied to /usr/share/man
native-code compilation enabled with ocamlopt.opt
LablGtk2 at +lablgtk2
Makefile:107: Makefile.deps: No such file or directory
echo '(* This file is automatically generated from version.txt *)' > version.ml
echo '(* DO NOT EDIT! *)' >> version.ml
echo "let version = \"`head -1 version.txt`\"" >> version.ml
ocamldep.opt version.mli proof_tree.mli input.mli version.ml util.ml gtk_ext.ml configuration.ml draw_tree.ml tree_layers.ml about_window.ml help_window.ml node_window.ml ext_dialog.ml emacs_commands.ml proof_window.ml proof_tree.ml coq.ml input.ml main.ml > Makefile.deps
File "input.ml", line 30, characters 0-2:
Error: This comment contains an unterminated string literal
File "input.ml", line 58, characters 38-47:
Error: String literal begins here
Makefile:105: recipe for target 'Makefile.deps' failed
make: *** [Makefile.deps] Error 2
Search Criteria
Package Details: prooftree 0.12-1
Package Actions
| Package Base: | prooftree |
|---|---|
| Description: | Proof-tree visualization during interactive theorem proof development. Currently for Coq and Proof General. |
| Upstream URL: | http://askra.de/software/prooftree/ |
| Category: | science |
| Licenses: | |
| Submitter: | pandan |
| Maintainer: | pandan |
| Last Packager: | pandan |
| Votes: | 2 |
| First Submitted: | 2012-11-28 02:28 |
| Last Updated: | 2014-09-28 07:43 |
Required by (0)
Sources
Latest Comments
Comment by mindbound
Comment by cmr
prooftree 0.12 is available.