Makefile_devl

#
# A few simple steps to build ATS2
# This is primarily for people wanting to use the
# (unreleased) version of ATS2 available at GitHub:
#
# https://github.com/githwxi/ATS-Postiats
#

######
#
# author: Hongwei Xi (gmhwxiATgmailDOTcom)
# author: Brandon Barker (Brandon.BarkerATgmailDOTcom)
#
######
#
# Note:
#
# You may need to execute the command-line:
#
# make -f codegen/Makefile_atslib
#
# if you have never done it explicitly before:
#
######

CPF=cp -f
MAKE=make

######
#
all:: bin_patscc
all:: atslib_update
#
#all:: bin_atspkgreloc
#
######
#
src_depend: ; touch src/.depend
src_cleanall: ; $(MAKE) -C src cleanall
#
bin_patscc: \
src_patscc; $(CPF) utils/atscc/patscc bin/patscc
#
src_patscc:: ; $(MAKE) -f codegen/Makefile_atslib
src_patscc:: bin_patsopt ; $(MAKE) -C utils/atscc -f Makefile all
#
bin_patsopt: \
src_patsopt; $(CPF) src/patsopt bin/patsopt
src_patsopt: src_depend src_cleanall ; $(MAKE) -C src -f Makefile all
#
######
#
atslib_update:: ; $(MAKE) -C ccomp/atslib -f Makefile
#
######
#
bin_atspkgreloc:: \
src_atspkgreloc_curl ; \
$(CPF) utils/atspkgreloc/atspkgreloc_curl bin/atspkgreloc_curl
src_atspkgreloc_curl : ; $(MAKE) -C utils/atspkgreloc atspkgreloc_curl
#
bin_atspkgreloc:: \
src_atspkgreloc_wget ; \
$(CPF) utils/atspkgreloc/atspkgreloc_wget bin/atspkgreloc_wget
src_atspkgreloc_wget : ; $(MAKE) -C utils/atspkgreloc atspkgreloc_wget
#
###### end of [Makefile_devl] ######