CIVL=civl
VERIFY=$(CIVL) verify

all: ex1a 

ex1a: ex1a.F
	$(VERIFY) mxmdriver.F ex1a.f

clean:
	rm -rf CIVLREP *~