#!/bin/bash

cp make/crlibm_lib.mod ../include
cp make/libf2crlibm*.a ../lib
if [ -e make/libcrlibm.a ]
then
cp crlibm/libcrlibm*.a ../lib
fi
