"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "projects/CodeThorn/src/Makefile.am" between
rose-0.11.49.0.tar.gz and rose-0.11.50.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C, C++, UPC, Fortran, OpenMP, Java, Python and PHP applications.

Makefile.am  (rose-0.11.49.0):Makefile.am  (rose-0.11.50.0)
skipping to change at line 714 skipping to change at line 714
@echo "-------------------------------------------------------------" @echo "-------------------------------------------------------------"
check-matcher-demo: check-matcher-demo:
./matcher_demo --edg:no_warnings $(srcdir)/tests/basictest5.C < $(srcdir )/tests/matchexpressions/test1.mat ./matcher_demo --edg:no_warnings $(srcdir)/tests/basictest5.C < $(srcdir )/tests/matchexpressions/test1.mat
# ./ast_demo $(srcdir)/tests/basictest5.C # ./ast_demo $(srcdir)/tests/basictest5.C
check-matcher: check-matcher:
./matcher_demo --edg:no_warnings $(srcdir)/tests/basictest5.C < $(srcdir )/tests/matchexpressions/test1.mat ./matcher_demo --edg:no_warnings $(srcdir)/tests/basictest5.C < $(srcdir )/tests/matchexpressions/test1.mat
CHECK_DEFAULT_PASSING=check-codethorn-internal check-domain check-normalization check-lc check-io unit-test check-omp-cfg check-commandline-options check-vis \ CHECK_DEFAULT_PASSING=check-codethorn-internal check-domain check-normalization check-lc check-io unit-test check-omp-cfg check-commandline-options check-vis \
check-thorn2 check-cpp98tests check-thorn2
CHECK_DEFAULT_FAILING=check-data-races check-deadcode CHECK_DEFAULT_FAILING=check-data-races check-deadcode
CHECK_WITH_SPOT_PASSING=$(CHECK_DEFAULT_PASSING) check-ltl-seq check-reachabilit y-seq CHECK_WITH_SPOT_PASSING=$(CHECK_DEFAULT_PASSING) check-ltl-seq check-reachabilit y-seq
CHECK_WITH_SPOT_FAILING=check-svcomp-witness check-ltl-rers-loop-aware-sync CHECK_WITH_SPOT_FAILING=check-svcomp-witness check-ltl-rers-loop-aware-sync
check-default: $(CHECK_DEFAULT_PASSING) check-default: $(CHECK_DEFAULT_PASSING)
if ROSE_WITH_SPOT if ROSE_WITH_SPOT
check-local: $(CHECK_WITH_SPOT_PASSING) check-local: $(CHECK_WITH_SPOT_PASSING) check-additional
check-extended: $(CHECK_WITH_SPOT_PASSING) check-additional check-extended: $(CHECK_WITH_SPOT_PASSING) check-additional
check-additional: check-ltl-par check-ltl-driven-reset-analyzer-seq check-additional: check-ltl-par check-ltl-driven-reset-analyzer-seq
else else
check-local: $(CHECK_DEFAULT_PASSING) check-local: $(CHECK_DEFAULT_PASSING)
endif endif
check-default-failing: $(CHECK_DEFAULT_FAILING) check-default-failing: $(CHECK_DEFAULT_FAILING)
check-svcomp: check-svcomp:
@echo ================================================================ @echo ================================================================
skipping to change at line 754 skipping to change at line 754
check-codethorn-internal: check-codethorn-internal:
@echo ================================================================ @echo ================================================================
@echo RUNNING CODETHORN INTERNAL CHECKS @echo RUNNING CODETHORN INTERNAL CHECKS
@echo ================================================================ @echo ================================================================
@./codethorn --internal-checks @./codethorn --internal-checks
check-domain: check-domain:
$(srcdir)/scripts/runDomainTests --testdir $(srcdir)/tests --all $(srcdir)/scripts/runDomainTests --testdir $(srcdir)/tests --all
check-domain-avset: check-domain-avset:
$(srcdir)/scripts/runDomainTests --testdir $(srcdir)/tests --l2avset
check-domain-avset-err:
$(srcdir)/scripts/runDomainTests --testdir $(srcdir)/tests --show-errors --l2avset $(srcdir)/scripts/runDomainTests --testdir $(srcdir)/tests --show-errors --l2avset
check-lc: check-lc:
$(srcdir)/scripts/runLineColTests $(srcdir)/tests $(srcdir)/scripts/runLineColTests $(srcdir)/tests
check-io: check-ioc check-io: check-ioc
check-ioc: check-ioc:
$(srcdir)/scripts/runIOCTests $(srcdir)/tests $(srcdir)/scripts/runIOCTests $(srcdir)/tests
skipping to change at line 947 skipping to change at line 950
rm -f *.cfg.dot # runParCfgTests rm -f *.cfg.dot # runParCfgTests
rm -f a.out rm -f a.out
rm -rf ../docs/doxygen rm -rf ../docs/doxygen
rm -f *.imout rm -f *.imout
rm -f *.exe rm -f *.exe
rm -f *.imout.check rm -f *.imout.check
rm -Rf make_check_log_* rm -Rf make_check_log_*
rm -f *-LTLParser.c++ rm -f *-LTLParser.c++
rm -f *.csv rm -f *.csv
rm -f *.txt rm -f *.txt
rm -f *.ti
distclean-local: clean distclean-local: clean
rm -f *.tgz rm -f *.tgz
rm -f *~ rm -f *~
rm -f codethornref rm -f codethornref
codethorn-dist: codethorn-dist:
tar cvzf codethorn_$(MYDATE).tgz *.C *cpp *.h *.lxx *.yxx tests/*.C tests /*.c Makefile* tar cvzf codethorn_$(MYDATE).tgz *.C *cpp *.h *.lxx *.yxx tests/*.C tests /*.c Makefile*
demo: demo:
 End of changes. 4 change blocks. 
2 lines changed or deleted 6 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)