File tree Expand file tree Collapse file tree 2 files changed +8
-0
lines changed
pkgs/sage-conf/_sage_conf Expand file tree Collapse file tree 2 files changed +8
-0
lines changed Original file line number Diff line number Diff line change @@ -32,6 +32,7 @@ NTL_LIBDIR = "@NTL_LIBDIR@"
32
32
# Path to the ecl-config script
33
33
ECL_CONFIG = "@SAGE_ECL_CONFIG@".replace('${prefix}', SAGE_LOCAL)
34
34
35
+ # Path to the nauty binaries; of the form "/path/to/" or "/path/to/nauty-"
35
36
SAGE_NAUTY_BINS_PREFIX = "@SAGE_NAUTY_BINS_PREFIX@"
36
37
37
38
SAGE_ECMBIN = "@SAGE_ECMBIN@"
Original file line number Diff line number Diff line change @@ -70,6 +70,13 @@ if get_option('SAGE_LOCAL') != ''
70
70
endif
71
71
foreach prog : nauty_progs
72
72
nauty_check = find_program (prog, dirs : extra_bin_paths, required : false )
73
+ if not nauty_check.found()
74
+ nauty_check = find_program (
75
+ ' nauty-' + prog,
76
+ dirs : extra_bin_paths,
77
+ required : false ,
78
+ )
79
+ endif
73
80
if nauty_check.found()
74
81
nauty_bins_prefix = nauty_check.full_path().replace(prog, '' )
75
82
endif
You can’t perform that action at this time.
0 commit comments