File: rules

package info (click to toggle)
haskell-what4 1.6.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,272 kB
  • sloc: haskell: 35,390; makefile: 3
file content (9 lines) | stat: -rwxr-xr-x 220 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
 
#!/usr/bin/make -f

# Tests for CVC4 fail on Debian, because the cvc4 binary in Debian is
# compiled without symfpu support.
# https://github.com/GaloisInc/what4-solvers/issues/23
export DEB_ENABLE_TESTS = no

%:
	dh $@