# generate saved state for CIDER:
PAKCSHOME=/home/mh/pakcs

Main.state: Main.curry Gui.curry GUIServer.curry Tk.curry IOServer.curry \
	    Conf.curry AnaTypes.curry AnaCompleteness.curry \
	    AnaDependency.curry CalledByAnalysis.curry \
	    DependencyAnalysis.curry \
            AnaOverlapping.curry AnaIndeterminism.curry \
	    AnaNondeterminism.curry AnaPatternMatch.curry \
	    AnaOpComplete.curry Debugger.curry Base.curry
	(echo ":set -warn" ; echo ":l Main" ; echo ":save") | \
	   ${PAKCSHOME}/bin/pakcs

# generate a local extended version of the Tk library:
Tk.curry: XTk.curry ${PAKCSHOME}/lib/Tk.curry
	# concatenate original Tk and XTk and extend export list:
	cat ${PAKCSHOME}/lib/Tk.curry XTk.curry | \
	sed "s/,openWish,/,openWish,TkMarkItem(..),string2index,tkCGetOpenFile,tkCGetSaveFile,tkCSeeI,tkCSeeM,tkCSearchI,tkCSearchM,tkCCopy,tkCCut,tkCPaste,tkCSetMark,tkCIncMark,tkCAddTag,tkCDelTag,tkCSetTagBackground,tkCSetListColor,tkCClearCanvas,tkCGetListbox,/" > Tk.curry

# Create a distribution version of the complete system as tar file
# pakcs.tgz:
#
CIDERDIST=/tmp/cider
dist:
	rm -rf ${CIDERDIST}            # remove old distribution
	rm -f cider.tgz
	cp -r -p . ${CIDERDIST}        # create complete copy of this version
	cd ${CIDERDIST} ; ${MAKE} cleandist   # delete unnessary files
	cd /tmp ; tar czf cider.tgz cider
	mv /tmp/cider.tgz .
	chmod 644 cider.tgz
	rm -rf ${CIDERDIST}

# clean up all auxiliary files:
.PHONY: clean
clean:
	cleancurry
	rm -f Tk.curry

#
# Clean all files that should not be included in a distribution
#
.PHONY: cleandist
cleandist:
	cleancurry -r
	rm -rf CVS */CVS
	rm -f *~ */*~
	rm -r examples/app.curry
