move header & library for morphism data structures to 'runtime' diretcory
- adapt Makefile for code size benchmark - write build files to 'target' directory
This commit is contained in:
parent
5a64334b1d
commit
630948139b
3 changed files with 26 additions and 19 deletions
morphisms/runtime
Loading…
Add table
Add a link
Reference in a new issue