Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
; We get a super bizarre error here...
; (rule
; (alias plugin-tutorial)
; (deps
; (source_tree .)
; (package rocq-runtime)
; ../../tools/CoqMakefile.in
; ../../theories/Init/Prelude.vo)
; (action
; (bash "make ROCQRUNTIMELIB=$(pwd)/../../ ROCQLIB=$(pwd)/../../")))
(env
(dev (flags :standard -w -70)))
[ Dauer der Verarbeitung: 0.28 Sekunden
]
