From 0d2a1e7388d45776700c4400781e1aa71a0f0060 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Thu, 19 Mar 2015 15:51:00 +0100
Subject: packaging fingroup and algebra

The files zmodp and cyclic in fingroup had dependecies in algebra so I put them there.
I'm not convinced it's the best solution to this problem.
Maybe more subdivisions in algebra would bring a better solution?

(Maybe we should send the whole problem to a solver? :P)
---
 mathcomp/algebra/Make | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 mathcomp/algebra/Make

(limited to 'mathcomp/algebra/Make')

diff --git a/mathcomp/algebra/Make b/mathcomp/algebra/Make
new file mode 100644
index 0000000..d9f4c63
--- /dev/null
+++ b/mathcomp/algebra/Make
@@ -0,0 +1,21 @@
+all.v
+finalg.v
+fraction.v
+intdiv.v
+interval.v
+matrix.v
+mxalgebra.v
+mxpoly.v
+polydiv.v
+poly.v
+polyXY.v
+rat.v
+ring_quotient.v
+ssralg.v
+ssrint.v
+ssrnum.v
+vector.v
+zmodp.v
+cyclic.v
+
+-R . mathcomp.algebra
-- 
cgit v1.2.3