#!/bin/bash

# do nothing much
# it should be possible to generate a file called Makefile

cp ../cp/*.a .

echo to make the binary file che just type
echo make -f che.mf



