mathcomp/solvable/Makefile


1
2
3
4
5
6
7
8
9
10

# -*- Makefile -*-

COQPROJECT="Make"

# --------------------------------------------------------------------
include ../Makefile.common

# --------------------------------------------------------------------
COQMAKEOPTIONS=--no-print-directory