#!/bin/sh
cat > Makefile << EOF
# EDIT THE FOLLOWING by replacing the directory with your ACL2 distributed
# books directory.  You are welcome to omit this line, or not as you prefer, in
# your contribution.

include /Applications/eclipse/plugins/acl2_image.macosx.x86_3.6.1/books/Makefile-generic
EOF

# directing this ouput to Makefile immediatly doesn't work, so an intermediate file is used
make ACL2_SYSTEM_BOOKS=/Applications/eclipse/plugins/acl2_image.macosx.x86_3.6.1/books dependencies | cat Makefile - > temptemptemptemp
mv temptemptemptemp Makefile

