diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-01-22 16:48:54 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-01-22 16:48:54 +0000 |
commit | ce163dcd0944d81d8406c9532b457535efca7a6d (patch) | |
tree | f7deea170544ce69e03c037101b7b5c1277966b4 /dev-gap/grape/files | |
parent | 05ee8049e2326946a2cd1720f98384c864f0a804 (diff) |
gentoo auto-resync : 22:01:2024 - 16:48:54
Diffstat (limited to 'dev-gap/grape/files')
-rw-r--r-- | dev-gap/grape/files/grape-4.9.0-exec.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/dev-gap/grape/files/grape-4.9.0-exec.patch b/dev-gap/grape/files/grape-4.9.0-exec.patch new file mode 100644 index 000000000000..3d410772ea00 --- /dev/null +++ b/dev-gap/grape/files/grape-4.9.0-exec.patch @@ -0,0 +1,21 @@ +diff --git a/lib/grape.g b/lib/grape.g +index 683abb6..3f5fdf0 100644 +--- a/lib/grape.g ++++ b/lib/grape.g +@@ -39,13 +39,12 @@ GRAPE_RANDOM := false; # Determines if certain random methods are to be used + GRAPE_NRANGENS := 18; # The number of random generators taken for a subgroup + # when GRAPE_RANDOM=true. + +-GRAPE_NAUTY := true; # Use nauty when true, else use bliss. ++GRAPE_NAUTY := @nauty@; # Use nauty when true, else use bliss. + +-GRAPE_DREADNAUT_EXE := +- ExternalFilename(DirectoriesPackagePrograms("grape"),"dreadnaut"); ++GRAPE_DREADNAUT_EXE := "@GENTOO_PORTAGE_EPREFIX@/usr/bin/dreadnaut"; + # filename of dreadnaut or dreadnautB executable + +-GRAPE_BLISS_EXE := ExternalFilename(DirectoriesSystemPrograms(),"bliss"); ++GRAPE_BLISS_EXE := "@GENTOO_PORTAGE_EPREFIX@/usr/bin/bliss"; + # filename of bliss executable + + GRAPE_DREADNAUT_INPUT_USE_STRING := false; |