blob: 2acfa8375f91dac674d4d90c42b6688a32c814f6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# -*- Makefile -*-
# setting variables
COQPROJECT?=Make
COQMAKEOPTIONS=--no-print-directory
# Main Makefile
include Makefile.common
# --------------------------------------------------------------------
# this sets variable V (coq version) and MLLIBEXTRA
# assuming SSR is set to the directory which contains the ssreflect package
SSR=ssreflect
include ssreflect/Makefile.detect-coq-version
COQMAKEFILEOPTIONS=$(MLLIBEXTRA)
|
