Skip to content
No description, website, or topics provided.
C++ Python Rust Shell C Perl Other
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.

Files

Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
benchmarks
docs
emscripten
etc
mini-scripts
minion
release-scripts
sphinxdocs
test_instances
tester
.clang-format
.travis.yml
HOW-TO-RELEASE
LICENSE.txt
README
Tupfile.ini
azure-pipelines.yml
configure.py
minion2-changes.md

README

If you have downloaded a binary for your OS, the minion binary will be in the
'bin' directory. 

the "docs" directory contains a full manual for Minion. 
The "benchmarks" directory contains a range of example programs.
The "generators" directory contains a number of generators, these are
in general poorly documented.


If you want to build minion from source, read on!

Welcome to the Minion source!

First, create a directory to do the build in, e.g.

mkdir bin

Then change to that directory. Now run the configure script:

../configure.py

This assumes that you've created the build directory in the Minion directory;
Run configure.py from Minion's source directory, in your build directory.

This will look for the location of your compiler, and a few system libraries.

After that, you can compile Minion by doing:

make minion

which should produce the binary "minion".

If you want to build the debug version, re-run configure.py like

../configure.py --debug

and then type

make minion

again. This should produce the "minion-debug" binary. The debug version is much
slower but has a large amount of internal checks. It should be used if you are
unsure / worried about the results Minion produces, or it crashes.

To clean all generated files, simply delete the directory you did the build in.
You can’t perform that action at this time.