The following Makefile template, which is available on-line, is provided to help you construct your own Makefile for compiling ATS programs. If you are not familiar with the make utility, you could readily find plenty resources on-line to help yourself learn it.
###### # # Note that # certain installations require the following changes: # # atscc -> patscc # atsopt -> patsopt # ATSHOME -> PATSHOME # ###### # ATSHOMEQ="$(ATSHOME)" # ###### # ATSCC=$(ATSHOMEQ)/bin/atscc ATSOPT=$(ATSHOMEQ)/bin/atsopt # ###### # # # HX: Please uncomment the one you want, or skip it entirely # ATSCCFLAGS= # ATSCCFLAGS=-O2 # # '-flto' enables link-time optimization such as inlining lib functions # # ATSCCFLAGS=-O2 -flto # # ###### # cleanall:: # ###### # # Please uncomment the following three lines and replace the name [foo] # with the name of the file you want to compile # # foo: foo.dats ; \ # $(ATSCC) $(ATSCCFLAGS) -o $@ $< || echo $@ ": ERROR!!!" # cleanall:: ; $(RMF) foo # ###### # # You may find these rules useful # # %_sats.o: %.sats ; $(ATSCC) $(ATSCCFLAGS) -c $< || echo $@ ": ERROR!!!" # %_dats.o: %.dats ; $(ATSCC) $(ATSCCFLAGS) -c $< || echo $@ ": ERROR!!!" # ###### # RMF=rm -f # ###### # clean:: ; $(RMF) *~ clean:: ; $(RMF) *_?ats.o clean:: ; $(RMF) *_?ats.c # cleanall:: clean # ###### end of [Makefile] ######