Commands request to be reorganizedIssue actions This is a reminder issue for reorganization of code of ide and server commands which could be unified (but are currently in two separate worlds). Relevant variables are command_table (server_utils) and ide_command_table (why3ide)....
Optional: You need to tell cmake which compiler you wish to use by setting the CC and CXX variables. Under bash, you can do so with commands such as export CC=gcc-7 and export CXX=g++-7.Building: While in the project repository, do the following:...