Menu

#161 Segmentation Violations in Windows 10 X86_64 r6762 PSL-Reduce

None
closed
None
5
2024-04-15
2024-04-15
No

Hi Arthur,

compiling r6762 PSL-Reduce on a Windows 10 Home pc with Cygwin 2.931, I got the following erros

build noncore module redlog for architecture x86_64-pc-windows
Possible error building noncore module redlog - check buildlogs/redlog.blg
make[2]: *** [deps/noncore-packages.psl-make:426: red/redlog.b] Error 1
make[2]: Leaving directory '/home/me/sw/reduce-algebra/trunk/pslbuild/x86_64-pc-windows'
make[1]: *** [Makefile:619: all] Error 2
make[1]: Leaving directory '/home/me/sw/reduce-algebra/trunk/pslbuild/x86_64-pc-windows'

Reduce build tasks finished: Highest return code 2
make: [Makefile:34: all] Error 2 (ignored)


The file '/home/me/sw/reduce-algebra/trunk/pslbuild/x86_64-pc-windows/buildlogs/redlog.blg'
contains 200 occurrences of the message "* Segmentation Violation in lto_alphap" starting just after loading the file '/home/me/sw/reduce-algebra/trunk/pslbuild/x86_64-pc-windows/red/bhashtable.b'.

The PSL-Reduce seems to work correctly.

Best regards
Marco

2 Attachments

Related

Bugs: #161

Discussion

  • Rainer Schöpf

    Rainer Schöpf - 2024-04-15

    Hi,
    you found a bug in the build process on Windows.
    There are two very similar files compat.b and pslcompat.b where there should have only been only pslcompat.b. In fact, pslcompat.b is the newer version, but both were used leading to the error. I have renamed compat.b to compat-old.b so that it can no longer interfere with the build process. I will commit a more general correction later.

    Everything should now build without errors, but you have to either build from scratch (i.e. remove the pslbuild directory and run configure --with-psl again), or, if you are feeling adventurous, you can try the following:

    1. Remove the file pslbuild/x86_64-pc-windows/psl/compat.b
    2. Remove all files in the subdirectory x86_64-pc-windows/red
    3. Run make psl

    Hope that helps, Rainer

     

Log in to post a comment.

MongoDB Logo MongoDB