$(warning This makefile is deprecated. Use Make_ming.mak instead.)
include Make_ming.mak