cp -f share/Makefile.gen prelude/SATS/CODEGEN/