search

fsprojects / ReasoningEngine

Symbolic analysis of discrete dynamical systems
MIT License
23 stars 5 forks source link

*.dll files missing #11

Open vincentdeman opened 12 months ago

vincentdeman commented 12 months ago

*.dll files seem to be missing when loading REInteractiveAPI/ReLoad.fsx in the Examples/REINDotNetInteractive.ipynb notebook, run in VS Code.

What is run:

#load @"../REInteractiveAPI/ReLoad.fsx"
open ReasoningEngine

The actual files that are called within REInteractiveAPI/ReLoad.fsx are the following:

#r @"bin/Release/netstandard2.0/ReasoningEngine.dll"
#r @"bin/Release/netstandard2.0/REIN.dll"
#r @"bin/Release/netstandard2.0/REInteractiveAPI.dll"

The errors:

Error: c:\Path to local copy of the ReasoningEngine GitHub\ReasoningEngine\REInteractiveAPI\ReLoad.fsx (10,1)-(10,53) parameter error Unable to find the file 'bin/Release/netstandard2.0/ReasoningEngine.dll' in any of ...
Error: c:\Path to local copy of the ReasoningEngine GitHub\ReasoningEngine\REInteractiveAPI\ReLoad.fsx (11,1)-(11,42) parameter error Unable to find the file 'bin/Release/netstandard2.0/REIN.dll' in any of ...
Error: c:\Path to local copy of the ReasoningEngine GitHub\ReasoningEngine\REInteractiveAPI\ReLoad.fsx (12,1)-(12,54) parameter error Unable to find the file 'bin/Release/netstandard2.0/REInteractiveAPI.dll' in any of ...

Machine details:

cgravill commented 11 months ago

Hi @vincentdeman you need to build REInteractiveAPI manually yourself, in Release mode.

Related I've just pushed some fixes on #12 for changes to F# rules since this project was released. With those I was able to build and run the notebook. Hope it works for you too.

https://github.com/fsprojects/ReasoningEngine/tree/pr/8#tool-installation has more instructions, it's currently on a PR though.

Incidentally #3 was proposed to avoid the manual build but is still awaiting a volunteer.