Re: [Seed7-users] Seed7 Version 2024-03-01 Fails Installation on Windows

[Zachary M. <za...@ma...>]

Hello again,

I did some more digging on this, and it turns out the issue was that I have Git installed,
and its "bin" folder is on my Path (which contain bash.exe and sh.exe); that seems to
have made the make process think I was on a Linux system. So the fix was to temporarily
remove Git's bin folder from my Path; but perhaps there is a better solution?

Zachary
________________________________
From: Zachary Menzies
Sent: March 12, 2024 1:31 PM
To: see...@li... <see...@li...>
Subject: Seed7 Version 2024-03-01 Fails Installation on Windows

Hey Thomas,

I was just installing Seed7 version 2024-03-01 on a Windows OS,
but I encountered three errors when running mingw32-make depend
after I had copied the "mk_mingw.mak" over the "makefile":

First was "base.h" couldn't be found:
gcc chkccomp.c -o chkccomp
chkccomp.c:28:10: fatal error: base.h: No such file or directory
   28 | #include "base.h"
      |          ^~~~~~~~
compilation terminated.
mingw32-make: *** [makefile:274: chkccomp.exe] Error 1
Second was  "chkccomp.h" couldn't be found.
I circumvented those two by copying those files from my old version.

Third was that the "chkccomp.exe" command was not found; which is strange
because the file exists in the "src"  directory. I'm not sure how to circumvent
this error (does it think I'm on a Linux system, given the "/usr/bin/bash"
reference?)
gcc chkccomp.c -o chkccomp
.\chkccomp.exe version.h "S7_LIB_DIR=" "SEED7_LIBRARY="
/usr/bin/bash: line 1: .chkccomp.exe: command not found
mingw32-make: *** [makefile:270: version.h] Error 127


Zachary