Atsmake-pre.mk and atsmake-post.mk

Google Group
1

These two files are located at:


Following is a typical example of a Makefile:

A Simple Makefile

include $(PATSHOME)/share/atsmake-pre.mk

CFLAGS += -O2
LDFLAGS += -lm

SOURCES_SATS +=
calculator.sats \

SOURCES_DATS +=
calculator.dats
calculator_aexp.dats
calculator_token.dats
calculator_cstream.dats
calculator_tstream.dats
calculator_parsing.dats
calculator_print.dats \

MYTARGET=calc

include $(PATSHOME)/share/atsmake-post.mk

end of [Makefile]
2

You can execute

make depend

to build file dependency for ‘make’.

For cleaning up:

make clean # removing *?ats.o and *?ats.c
make cleanall # removing every generated fileOn Tuesday, December 31, 2013 11:10:02 AM UTC-5, gmhwxi wrote:

These two files are located at:

https://github.com/githwxi/ATS-Postiats/blob/master/share/atsmake-pre.mk
https://github.com/githwxi/ATS-Postiats/blob/master/share/atsmake-post.mk

Following is a typical example of a Makefile:

A Simple Makefile

include $(PATSHOME)/share/atsmake-pre.mk

CFLAGS += -O2
LDFLAGS += -lm

SOURCES_SATS +=
calculator.sats \

SOURCES_DATS +=
calculator.dats
calculator_aexp.dats
calculator_token.dats
calculator_cstream.dats
calculator_tstream.dats
calculator_parsing.dats
calculator_print.dats \

MYTARGET=calc

include $(PATSHOME)/share/atsmake-post.mk

end of [Makefile]