miniYap

Commandline options:
-DGMP_LIBRARIES:FILEPATH="D:/GITHUB/mpir-2.7.2/build.vc14/dll_mpir_p3/Win32/Debug/mpir.lib" -DGMP_INCLUDE_DIRS:PATH="D:/GITHUB/mpir-2.7.2/build.vc14/dll_mpir_p3/Win32/Debug" -DWITH_SYSTEM_MALLOC:BOOL="1" -DCMAKE_C_STANDARD_LIBRARIES:STRING="kernel32.lib user32.lib gdi32.lib winspool.lib shell32.lib ole32.lib oleaut32.lib uuid.lib comdlg32.lib advapi32.lib" -DWITH_CUDD:BOOL="0" -DGMP_LIBRARY_DLL:FILEPATH="D:/GITHUB/mpir-2.7.2/build.vc14/dll_mpir_p3/Win32/Debug/mpir.dll" -DCMAKE_C_FLAGS:STRING=" /DUSE_GMP /DWIN32 /D_WINDOWS /W3" -DWITH_SWIG:BOOL="0" -DWITH_Gecode:BOOL="0" -DWITH_MySQL:BOOL="0" -DWITH_RAPTOR:BOOL="0" -DWITH_ODBC:BOOL="0" -DWITH_CPLINT:BOOL="0" -DWITH_PythonInterp:BOOL="0" -DWITH_MPI:BOOL="0" -DWITH_CLPBN:BOOL="0" -DWITH_PRISM:BOOL="0" -DWITH_PythonLibs:BOOL="0" -DWITH_HORUS:BOOL="0" -DCMAKE_CONFIGURATION_TYPES:STRING="Debug;Release;MinSizeRel;RelWithDebInfo" -DWITH_Matlab:BOOL="0" -DWITH_Sqlite3:BOOL="0" -DCMAKE_CXX_FLAGS_RELEASE:STRING="/MD /O2 /Ob2 /D NDEBUG" -DWITH_PostgreSQL:BOOL="0" -DWITH_LibXml2:BOOL="0" -DCMAKE_C_FLAGS_DEBUG:STRING="/DUSE_GMP /D_DEBUG /MDd /Zi /Ob0 /Od /RTC1" -DWITH_Readline:BOOL="1" -DWITH_R:BOOL="0" -DWITH_CALL_TRACER:BOOL="0" 


Cache file:
GMP_LIBRARIES:FILEPATH=D:/GITHUB/mpir-2.7.2/build.vc14/dll_mpir_p3/Win32/Debug/mpir.lib
GMP_INCLUDE_DIRS:PATH=D:/GITHUB/mpir-2.7.2/build.vc14/dll_mpir_p3/Win32/Debug
WITH_SYSTEM_MALLOC:BOOL=1
CMAKE_C_STANDARD_LIBRARIES:STRING=kernel32.lib user32.lib gdi32.lib winspool.lib shell32.lib ole32.lib oleaut32.lib uuid.lib comdlg32.lib advapi32.lib
WITH_CUDD:BOOL=0
GMP_LIBRARY_DLL:FILEPATH=D:/GITHUB/mpir-2.7.2/build.vc14/dll_mpir_p3/Win32/Debug/mpir.dll
CMAKE_C_FLAGS:STRING= /DUSE_GMP /DWIN32 /D_WINDOWS /W3
WITH_SWIG:BOOL=0
WITH_Gecode:BOOL=0
WITH_MySQL:BOOL=0
WITH_RAPTOR:BOOL=0
WITH_ODBC:BOOL=0
WITH_CPLINT:BOOL=0
WITH_PythonInterp:BOOL=0
WITH_MPI:BOOL=0
WITH_CLPBN:BOOL=0
WITH_PRISM:BOOL=0
WITH_PythonLibs:BOOL=0
WITH_HORUS:BOOL=0
CMAKE_CONFIGURATION_TYPES:STRING=Debug;Release;MinSizeRel;RelWithDebInfo
WITH_Matlab:BOOL=0
WITH_Sqlite3:BOOL=0
CMAKE_CXX_FLAGS_RELEASE:STRING=/MD /O2 /Ob2 /D NDEBUG
WITH_PostgreSQL:BOOL=0
WITH_LibXml2:BOOL=0
CMAKE_C_FLAGS_DEBUG:STRING=/DUSE_GMP /D_DEBUG /MDd /Zi /Ob0 /Od /RTC1
WITH_Readline:BOOL=1
WITH_R:BOOL=0
WITH_CALL_TRACER:BOOL=0

D:\GITHUB\build-yap-6.3;D:\GITHUB\yap-6.3\H;D:\GITHUB\yap-6.3\H\generated;D:\GITHUB\yap-6.3\include;D:\GITHUB\yap-6.3\os;D:\GITHUB\yap-6.3\OPTYap;D:\GITHUB\yap-6.3\utf8proc;D:\GITHUB\yap-6.3\JIT\HPP;D:\GITHUB\gmp_build\gmp\include;%(AdditionalIncludeDirectories)

D:\GITHUB\build-yap-6.3>cmake D:/GITHUB/yap-6.3/ -DGMP_LIBRARIES:FILEPATH="D:/GITHUB/gmp_build/gmp/lib/libgmp.la" -DGMP_INCLUDE_DIRS:PATH="D:/GITHUB/gmp_build/gmp/include" -DWITH_TABLING:BOOL="1" -DWITH_CUDD:BOOL="0" -DGMP_LIBRARY_DLL:FILEPATH="D:/GITHUB/gmp_build/gmp/lib/libgmp-3.dll" -DWITH_SWIG:BOOL="0" -DWITH_RAPTOR:BOOL="0" -DWITH_Gecode:BOOL="0" -DWITH_MySQL:BOOL="0" -DWITH_ODBC:BOOL="0" -DWITH_PythonInterp:BOOL="0" -DWITH_CPLINT:BOOL="0" -DWITH_CLPBN:BOOL="0" -DWITH_PRISM:BOOL="0" -DWITH_PythonLibs:BOOL="0" -DWITH_HORUS:BOOL="0" -DCMAKE_CONFIGURATION_TYPES:STRING="Debug;Release;MinSizeRel;RelWithDebInfo" -DWITH_Sqlite3:BOOL="0" -DWITH_PostgreSQL:BOOL="0" -DLIBXML2_INCLUDE_DIR:PATH="LIBXML2_INCLUDE_DIR-NOTFOUND" -DSWIG_DIR:PATH="SWIG_DIR-NOTFOUND" -DWITH_LibXml2:BOOL="0" -DWITH_Readline:BOOL="1" -DWITH_R:BOOL="0" -DLIBXML2_LIBRARIES:FILEPATH="LIBXML2_LIBRARIES-NOTFOUND" -DWITH_CALL_TRACER:BOOL="0" -G "Visual Studio 14 2015"

D:\GITHUB\build-yap-6.3>copy utf8proc\Debug\utf8proc.dll Debug
1 file(s) copied.

D:\GITHUB\build-yap-6.3>copy ..\mpir-2.7.2\build.vc14\dll_mpir_p3\Win32\Debug\mpir.dll Debug
1 file(s) copied.

Main issue is that in most all cases

(assume 3 to ber the bootfile if stdin=0 )
GLOBAL_Stream[3].file == NULL

but even GLOBAL_Stream[0].file = NULL

But i created a version now of YAP that runs on Ubuntu: https://github.com/logicmoo/yap-6.3/tree/master_with_old_io

This version also works on win32 crashing later than on master

So I want to sanity check that it runs on MinGW at least even if not compiled from VS2015 (actually VisualGDB makes the MinGW usable from Visual Studio)

So I want to sanity check that it runs on MinGW at least even if not compiled from VS2015 (actually VisualGDB makes the MinGW usable from Visual Studio)