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
MVF=mv -f
MAKE=make

######
#
all:: bin_patscc
all:: bin_myatscc
all:: lib_patsopt
all:: atslib_update
#
#all:: bin_atspkgreloc
#
######
#
src_depend: ; touch src/.depend
src_cleanall: ; make -C src cleanall
#
######
#
bin_patscc: \
src_patscc; \
$(MVF) utils/atscc/BUILD/patscc bin/patscc
#
src_patscc:: ; \
make -f codegen/Makefile_atslib
src_patscc:: bin_patsopt ; \
make -C utils/atscc -f Makefile copy build clean
#
######
#
C3NSTRINTKND=gmpknd
#
#C3NSTRINTKND=intknd
#
######

bin_patsopt: \
src_patsopt; \
$(CPF) src/patsopt bin/patsopt
src_patsopt: \
src_depend \
src_cleanall ; \
make -C src -f Makefile \
C3NSTRINTKND=$(C3NSTRINTKND) all
#
######
#
bin_myatscc: \
src_myatscc; \
$(MVF) utils/myatscc/BUILD/myatscc bin/myatscc
src_myatscc: ; \
make -C utils/myatscc -f Makefile copy build clean
#
######
#
lib_patsopt:: ; \
make -C src -f Makefile \
C3NSTRINTKND=$(C3NSTRINTKND) libatsopt
lib_patsopt:: ; $(CPF) src/libatsopt.a ccomp/atslib/lib/.
#
######
#
atslib_update:: ; make -C ccomp/atslib -f Makefile
atslib_cleanall:: ; make -C ccomp/atslib -f Makefile clean
#
######
#
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] ######