PR# 19845 External finalized compilation fails
Problem Report Summary
Release: 21.11 (184.108.40.20646 - win64)
Synopsis: External finalized compilation fails
One of the systems within finalized-error.7z compiles and freezes normally. But it can't be finalized. External finalized compilation fails due to the following error: E1/epoly.o:epoly.c:(.text+0x566): undefined reference to `Y5685_init' The failing system is st_tests.ecf, target stt-auto-test. I tried to get the same error with the system finalized_tests.ecf, but the error does not show up.
1. Unzip finalized-error.7z. into finalized-error folder. 2. Navigate into .\finalized-error\set_theory folder. 2. With EiffelStudio, open the system st_tests.ecf. 3. Chose the target stt-auto-test. 4. In the "Action:" drop-down, choose Finalize. 5. The error mentioned above will show up. 6. Optionally, freeze the system. Nothing wrong happens. By contrast, essentially the same steps may be taken upon .\finalized-error\finalized_tests\finalized_tests.ecf with no error showing up.