diff options
Diffstat (limited to 'mathcomp/Makefile')
| -rw-r--r-- | mathcomp/Makefile | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/mathcomp/Makefile b/mathcomp/Makefile index c631c7b..f5d495a 100644 --- a/mathcomp/Makefile +++ b/mathcomp/Makefile @@ -6,12 +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 -# and SSR is set to the directory of the ssreflect package -PLUGIN=../plugin -SSR=ssreflect -include ssreflect/Makefile.detect-coq-version -COQMAKEFILEOPTIONS=$(MLLIBEXTRA) |