Bug#499140: calls dp instead of why-dp

[Sami Liedes <sliedes@cc.hut.fi>]

Package: why
Version: 2.13-1
Severity: normal

Hi,

In c/cmake.ml, there are lines that run dp while they should run why-dp:

fprintf fmt "\t@@echo 'Running Simplify on proof obligations' && (dp -timeout $(TIMEOUT) $^)@\n@\n";
fprintf fmt "\t@@echo 'Running Ergo on proof obligations' && (dp -timeout $(TIMEOUT) $^)@\n@\n";

etc. (a number of other lines)

	Sami

-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.26.3 (SMP w/4 CPU cores; PREEMPT)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages why depends on:
ii  cpulimit                      1.1-11     limits the cpu usage of a process
ii  libatk1.0-0                   1.22.0-1   The ATK accessibility toolkit
ii  libc6                         2.7-13     GNU C Library: Shared libraries
ii  libcairo2                     1.6.4-6    The Cairo 2D vector graphics libra
ii  libglib2.0-0                  2.16.5-1   The GLib library of C routines
ii  libgtk2.0-0                   2.12.11-3  The GTK+ graphical user interface 
ii  libpango1.0-0                 1.20.5-2   Layout and rendering of internatio

why recommends no packages.

Versions of packages why suggests:
ii  coq                    8.1.pl3+dfsg-1+b2 proof assistant for higher-order l

-- no debconf information