ozgurakgun / minion

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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 CMake to configure Minion:

../build.py

This assumes that you've created the build directory in the Minion directory;
Run build.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 build.py like

../build.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.

About

License:GNU General Public License v2.0


Languages

Language:C++ 84.7%Language:Python 11.3%Language:Shell 1.9%Language:C 1.3%Language:Perl 0.7%Language:HTML 0.1%Language:JavaScript 0.1%