Makefile « algebra « mathcomp - coq-mathcomp - Library of mathematical components formalized in Coq

about summary refs log tree commit diff

path: root/mathcomp/algebra/Makefile

blob: 23d9c98fc654fcbf4b66b82d0b20042429cef56c (plain)

# -*- Makefile -*-

COQPROJECT=Make
COQMAKEOPTIONS=--no-print-directory

include ../Makefile.common