+gramine:
+ rm -rf gramine-@VERSION@
+ @echo "# Setup sources..."
+ for n in `find include src -name '*.[chl]'`; do \
+ mkdir -p gramine-@VERSION@/`dirname $$n`; \
+ cp $$n gramine-@VERSION@/`dirname $$n`; \
+ done
+ @echo "# Copy sources to be generated by configury"
+ cp src/ucontext_stack.h.in src/gras_config.h.in gramine-@VERSION@/src
+ @echo "# Remove sources being part of the testsuite"
+ rm gramine-@VERSION@/src/*_unit.c
+ @echo "# Adapt the configury mechanism to the gramine context"
+ mkdir gramine-@VERSION@/acmacro
+ for n in configure Makefile.in src/Makefile.in include/Makefile.in ; do \
+ sed -e '/^# GRAMINE_CUT_BEGIN/,/^# GRAMINE_CUT_END/d' \
+ -e 's/gramine_mode=no/gramine_mode=yes/' $$n > gramine-@VERSION@/$$n; \
+ done
+ chmod +x gramine-@VERSION@/configure
+