1.9.8 builds fine, but that’s a 30,000-plus-LoC diff from 1.9.7, so
trying to get the new version into Stretch seems unlikely at this
point. I suspect cherry-picking upstream’s
dc724533490f66bb553d71be1b971f2008318adc and
e7cfcf3eb135c378d12c04f35d9f85f6cb241467 commits into 1.9.7 would be
I'm looking at this now.
I’m still planning to look at this, though I haven’t had the chance yet.
Thanks for looking into this. You’re right – it looks like Dafny’s
having some trouble linking against Boogie. The Dafny build process
statically links Boogie into Dafny; that’s why
cp -a /usr/lib/boogie/* Binaries
mkdir -p Source/Dafny/bin/Checked
cp -a /usr/lib/boogie/*
Dear Benjamin,
I see this issue on RC bug list, so I'm trying to help.
(Though I don't have much knowledge on mono ...)
Seems FTBFS caused by lack of some mono libraries?
So I guess there's something missing in Build-Depends in d/control?
PS. This package has never been built on buildd.
You
Package: src:dafny
Version: 1.9.7-1
Severity: serious
Dear maintainer:
I tried to build this package in stretch with "dpkg-buildpackage -A"
but it failed:
[...]
debian/rules build-indep
dh build-indep --with cli
6 matches
Mail list logo
