Changeset 4b1552 in git for kernel/GBEngine/kverify.cc

Timestamp:

Dec 4, 2020, 2:16:35 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '1e435b8ba068f7dbcd2aad89bcf324ebfd49f7ba')

Children:

bc42722a945eb169cb68ca123321f864dc662fa1

Parents:

a09606c64366e1429af96facb1900bcd8a8674fa

Message:

use of vspace vi HAVE_VSPACE

File:

• kernel/GBEngine/kverify.cc (modified) (2 diffs)

kernel/GBEngine/kverify.cc

@@ -12 +12 @@
 #include <string.h>
 
-#if !defined(__CYGWIN__)
+#ifdef HAVE_VSPACE
 #include "kernel/oswrapper/vspace.h"
 #include <sys/types.h>
@@ -120 +120 @@
 BOOLEAN kVerify2(ideal F, ideal Q)
 {
-#if !defined(__CYGWIN__)
+#ifdef HAVE_VSPACE
   kStrategy strat=new skStrategy;
   strat->ak = id_RankFreeModule(F,currRing);