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

about summary refs log tree commit diff

path: root/mathcomp/Makefile

blob: f5d495ac6eb48bbd7847646fe6b35c4d6b927198 (plain)

# -*- Makefile -*-

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

# Main Makefile
include Makefile.common