diff options
Diffstat (limited to 'mathcomp/ssreflect/Makefile')
| -rw-r--r-- | mathcomp/ssreflect/Makefile | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile index 76b8c2c..9d78a7c 100644 --- a/mathcomp/ssreflect/Makefile +++ b/mathcomp/ssreflect/Makefile @@ -6,11 +6,3 @@ 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) |