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