Skip to content

Commit

Permalink
resolves #45 (comment)
Browse files Browse the repository at this point in the history
and bump version to v2024.09-02
  • Loading branch information
kamalsaleh committed Sep 23, 2024
1 parent d43b3e2 commit 4fee1e1
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 3 deletions.
2 changes: 1 addition & 1 deletion PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "CddInterface",
Subtitle := "Gap interface to Cdd package",
Version := "2024.09.01",
Version := "2024.09.02",
Date := ~.Version{[ 1 .. 10 ]},
Date := Concatenation( ~.Date{[ 9, 10 ]}, "/", ~.Date{[ 6, 7 ]}, "/", ~.Date{[ 1 .. 4 ]} ),
License := "GPL-2.0-or-later",
Expand Down
3 changes: 2 additions & 1 deletion configure.ac
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,8 @@ old_CPPFLAGS="$CPPFLAGS"
old_LDFLAGS="$LDFLAGS"
CPPFLAGS="$CPPFLAGS $CDD_CPPFLAGS"
LDFLAGS="$LDFLAGS $CDD_LDFLAGS"
AC_CHECK_HEADER([setoper.h], [], [AC_MSG_ERROR([could not use setoper.h])], [])
AC_CHECK_HEADER([cddlib/setoper.h], [AC_DEFINE([HAVE_CDDLIB_SETOPER_H], [1], [setting HAVE_CDDLIB_SETOPER_H=1])],
[AC_CHECK_HEADER([setoper.h], [], [AC_MSG_ERROR([could not find setoper.h])])])
AC_CHECK_LIB([cddgmp],[dd_SetLinearity])
CPPFLAGS="$old_CPPFLAGS"
LDFLAGS="$old_LDFLAGS"
Expand Down
7 changes: 6 additions & 1 deletion src/CddInterface.c
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,12 @@

#include "compiled.h" // GAP headers

#include "setoper.h"
#ifdef HAVE_CDDLIB_SETOPER_H
#include <cddlib/setoper.h>
#else
#include <setoper.h>
#endif

#include "cdd.h"

#include "gmp.h"
Expand Down

0 comments on commit 4fee1e1

Please sign in to comment.