configure.sh « src - smtcoq - Fork of https://github.com/smtcoq/smtcoq.

about summary refs log tree commit diff stats

path: root/src/configure.sh

blob: 04da7399e25b516413beeb3b179efd2bf3e31bd7 (plain)

#!/bin/sh

set -e

if [ $@ -a $@ = -standard ]; then
    cp Makefile.standard Makefile
else
    cp Makefile.native Makefile
fi