LinuxBuild

The linux/mac build is a cut-down version of the main projects with Attractors and Cudd removed due to the windows dependency (implications still to be investigated).

The project can be found in the root directory as BmaLinux/ and Contains 4 further projects. These are copies of code from the other projects to avoid the multiproject/code problem, awaiting resolution.

This directory can be copied and built elsewhere - and it was created in VS2022 to be consistent with any msbuild installations on new mac and linux installations and does not require any of the preparitory scripts that the rest of the projects need.

Install and build

Instructions on installing the dotnet runtime: https://learn.microsoft.com/en-us/dotnet/core/install/linux-ubuntu

Instructions on installing mono: https://www.mono-project.com/docs/getting-started/install/linux/

Run the prepare script .\PrepareRepositoryNix.sh

Build the project

msbuild BioCheckConsoleMulti.sln /p:Configuration=Release /p:Platform="x64" /t:Rebuild

This has these 4 projects, in dependency order:

BioCheckConsoleMulti - the main executable (F#)
BioCheckAnalyzerMulti (F#) and Z3testMulti (F#)
BioCheckAnalyzerCommonMulti (C#)

The build can be found in the directory: BioCheckConsoleMulti/BioCheckConsoleMulti/bin/Release/netcoreapp3.1/

Simple run

When runnin on mac or linux there is no ".exe" and the application to be run is BioCheckConsoleMulti. After chmod +x to make it executable, and example call to it is:

./BioCheckConsoleMulti -model ToyModelUnstable.json -engine SCM

Where the json file of the model needs to be in the directory.