Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit 3ea88e1

Browse files
committed
spkg-configure for cliquer
we do not check the version, as it's quite stable Upstream's and Sage's cliquer install an executable named `cl`, but it's not used anywhere in Sage library. Note that Debian's name for cliquer's CLI is cliquer, not cl.
1 parent 87c3057 commit 3ea88e1

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
SAGE_SPKG_CONFIGURE([cliquer], [
2+
AC_SEARCH_LIBS([clique_unweighted_max_weight], [cliquer], [
3+
AC_LANG_PUSH([C])
4+
AC_CHECK_HEADER([cliquer/cliquer.h], [
5+
AC_PATH_PROG([CL], [cl])
6+
AS_IF([test x$CL = x], [
7+
AC_MSG_NOTICE([cl (cliquer's CLI) is not found.])
8+
AC_MSG_NOTICE([No action, as Sage does not need it. cl might be named cliquer on this system.])
9+
])
10+
], [sage_spkg_install_cliquer=yes])
11+
AC_LANG_POP()
12+
], [sage_spkg_install_cliquer=yes])
13+
])

0 commit comments

Comments
 (0)