WIP: Resurect devel/uppaal, tool environment for modeling and verifying timed automata

[0mp]

Summary

This is a failed attempt to resurrect the devel/uppaal port. I'm posting my half-finished patch as it might be useful for someone.

I was not able to successfully start the current UPPAAL stable release (4.0.15). It was just resulting in a empty application window.

Version 4.0.14 had some other problem with its interal server.

Here, I am trying to work with 64-bit Linux only, version 4.1.23.

The application starts

I run make stage and then (cd work/uppaal64-4.1.23/ && ./uppaal) to test the program. After the loading screen I am getting an error window saying:

Server exited with error 127. Check whether OS is supported.

Then, I can hit *OK* and the application just starts and all seems fine. However, when I try to load one of the demo projects I see that error window again. This time it is accompanied by a standard error message *FATAL: kernel too old*.

I've got no idea how to proceed from here so I'm just leaving this patch for other interested users.

[0mp]

Maybe I could just bump the compat.linux.osrelease sysctl to fix it (https://forums.freebsd.org/threads/arduino-exits-with-kernel-too-old.50243/). I might investigate it in the future.