Merge pull request #251 from zickgraf/master

Only install primitive operations if `no_precompiled_code` is set
homalg-project · Feb 23, 2024 · c9ed4a9 · c9ed4a9
2 parents a377914 + 33ced9d
commit c9ed4a9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2024.02-07",
+Version := "2024.02-08",
 
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",

diff --git a/gap/SkeletalFinSets.gi b/gap/SkeletalFinSets.gi
@@ -38,14 +38,16 @@ InstallMethod( SkeletalCategoryOfFiniteSets,
     SetRangeCategoryOfHomomorphismStructure( cat, cat );
     SetIsEquippedWithHomomorphismStructure( cat, true );
 
-    INSTALL_FUNCTIONS_FOR_SKELETAL_FIN_SETS( cat );
-
     #= comment for Julia
     AddTheoremFileToCategory( cat,
             Filename( DirectoriesPackageLibrary( "Toposes", "LogicForToposes" ), "PropositionsForToposes.tex" ) );
     # =#
 
-    if not CAP_NAMED_ARGUMENTS.no_precompiled_code then
+    if CAP_NAMED_ARGUMENTS.no_precompiled_code then
+
+        INSTALL_FUNCTIONS_FOR_SKELETAL_FIN_SETS( cat );
+
+    else
 
         ADD_FUNCTIONS_FOR_SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled( cat );