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

about summary refs log tree commit diff

path: root/mathcomp/ssreflect/Makefile

blob: 9d78a7cb5a2b7d1bb3bc34668a82e68362be63d7 (plain)

# -*- Makefile -*-

# setting variables
COQPROJECT?=Make
COQMAKEOPTIONS=--no-print-directory

# Main Makefile
include ../Makefile.common