Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/digraphs/m4/   (GAP Algebra Version 4.15.1©)  Datei vom 27.8.2025 mit Größe 1 kB image not shown  

Quelle  ax_check_bliss.m4

  Sprache: Shell
 

dnl handle bliss checks
dnl
dnl if --with-external-bliss is supplied,
dnl use it if it is known to pkg-config and is new enough;
dnl otherwise use the included version
dnl
AC_DEFUN([AX_CHECK_BLISS], [
  AC_ARG_WITH([external-bliss],
       [AS_HELP_STRING([--with-external-bliss],
         [use external bliss])],
              [],
              [with_external_bliss=no])
  AC_MSG_CHECKING([whether to use external bliss])
  AC_MSG_RESULT([$with_external_bliss])
  if test "x$with_external_bliss" = xyes ; then
        AC_LANG_PUSH([C])
        AC_CHECK_LIB([bliss],
                     [bliss_add_edge],
                     [],
                     [AC_MSG_ERROR([no external libbliss found])])

        AC_CHECK_HEADER([bliss/bliss_C.h],
                        [],
                        [AC_MSG_ERROR([no external bliss headers found])])
        AC_LANG_POP()
  fi
  if test "x$with_external_bliss" = xno ; then
    WITH_INCLUDED_BLISS=yes
    AC_SUBST(WITH_INCLUDED_BLISS)
    AC_DEFINE([WITH_INCLUDED_BLISS],
              [1],
              [define that we should use the vendored bliss])
  fi
])

Messung V0.5 in Prozent
C=100 H=100 G=100

¤ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet am  2026-06-27) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.