Added global makefile, added loading files to test homalg compatibility

homalg-project · Sep 21, 2015 · 3a978ba · 3a978ba
1 parent ebc167d
commit 3a978ba
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 0 deletions.
diff --git a/load_cap_sheaves.g b/load_cap_sheaves.g
@@ -0,0 +1,3 @@
+LoadPackage( "GeneralizedMorphismsForCAP" );
+LoadPackage( "Sheaves" );
+QUIT;
diff --git a/load_sheaves_cap.g b/load_sheaves_cap.g
@@ -0,0 +1,4 @@
+LoadPackage( "Sheaves" );
+LoadPackage( "GeneralizedMorphismsForCAP" );
+QUIT;
+
diff --git a/makefile b/makefile
@@ -0,0 +1,5 @@
+all: homalg_compatibility
+
+homalg_compatibility:
+	gap load_cap_sheaves.g
+	gap load_sheaves_cap.g