Temporarily disabling &transduction for an old windows compiler.

This commit is contained in:
Alan Mishchenko 2023-05-04 12:27:08 -07:00
parent 38cd47b46c
commit 875ef73275
1 changed files with 22 additions and 0 deletions

View File

@ -1,3 +1,6 @@
#ifndef _WIN32
#ifdef _WIN32
#ifndef __MINGW32__
#pragma warning(disable : 4786) // warning C4786: identifier was truncated to '255' characters in the browser information
@ -123,3 +126,22 @@ Gia_Man_t *Gia_ManTransductionTt(Gia_Man_t *pGia, int nType, int fMspf, int nRan
}
ABC_NAMESPACE_IMPL_END
#else
#include "gia.h"
ABC_NAMESPACE_IMPL_START
Gia_Man_t * Gia_ManTransductionBdd(Gia_Man_t *pGia, int nType, int fMspf, int nRandom, int nSortType, int nPiShuffle, int nParameter, int fLevel, Gia_Man_t *pExdc, int fNewLine, int nVerbose)
{
return NULL;
}
Gia_Man_t * Gia_ManTransductionTt(Gia_Man_t *pGia, int nType, int fMspf, int nRandom, int nSortType, int nPiShuffle, int nParameter, int fLevel, Gia_Man_t *pExdc, int fNewLine, int nVerbose)
{
return NULL;
}
ABC_NAMESPACE_IMPL_END
#endif