source: tests/creddy_prover_tests/Makefile @ 3c30b59

abac0-leakabac0-mei
Last change on this file since 3c30b59 was 3c30b59, checked in by Mei <mei@…>, 11 years ago

1) add in new refactored regression testing directory
2) undo the abac.hh/ABAC.hh api changes
3) merged with Ted's changes to attribute format/nickname/issuer processing
  • Property mode set to 100644
File size: 13.1 KB
Line 
1# Makefile.in generated by automake 1.11.1 from Makefile.am.
2# tests/creddy_prover_tests/Makefile.  Generated from Makefile.in by configure.
3
4# Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
5# 2003, 2004, 2005, 2006, 2007, 2008, 2009  Free Software Foundation,
6# Inc.
7# This Makefile.in is free software; the Free Software Foundation
8# gives unlimited permission to copy and/or distribute it,
9# with or without modifications, as long as this notice is preserved.
10
11# This program is distributed in the hope that it will be useful,
12# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
13# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
14# PARTICULAR PURPOSE.
15
16
17
18pkgdatadir = $(datadir)/abac
19pkgincludedir = $(includedir)/abac
20pkglibdir = $(libdir)/abac
21pkglibexecdir = $(libexecdir)/abac
22am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
23install_sh_DATA = $(install_sh) -c -m 644
24install_sh_PROGRAM = $(install_sh) -c
25install_sh_SCRIPT = $(install_sh) -c
26INSTALL_HEADER = $(INSTALL_DATA)
27transform = $(program_transform_name)
28NORMAL_INSTALL = :
29PRE_INSTALL = :
30POST_INSTALL = :
31NORMAL_UNINSTALL = :
32PRE_UNINSTALL = :
33POST_UNINSTALL = :
34build_triplet = i686-pc-linux-gnu
35host_triplet = i686-pc-linux-gnu
36subdir = tests/creddy_prover_tests
37DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in
38ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
39am__aclocal_m4_deps = $(top_srcdir)/m4/ax_check_openssl.m4 \
40        $(top_srcdir)/m4/ax_check_xml2.m4 \
41        $(top_srcdir)/m4/ax_check_xmlsec1.m4 \
42        $(top_srcdir)/m4/ax_pkg_swig.m4 \
43        $(top_srcdir)/m4/ax_python_devel.m4 \
44        $(top_srcdir)/m4/ax_swig_enable_cxx.m4 \
45        $(top_srcdir)/m4/ax_swig_python.m4 $(top_srcdir)/m4/libtool.m4 \
46        $(top_srcdir)/m4/ltoptions.m4 $(top_srcdir)/m4/ltsugar.m4 \
47        $(top_srcdir)/m4/ltversion.m4 $(top_srcdir)/m4/lt~obsolete.m4 \
48        $(top_srcdir)/configure.ac
49am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
50        $(ACLOCAL_M4)
51mkinstalldirs = $(install_sh) -d
52CONFIG_CLEAN_FILES =
53CONFIG_CLEAN_VPATH_FILES =
54SOURCES =
55DIST_SOURCES =
56DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
57ACLOCAL = ${SHELL} /home/mei/Deter/abac0-master/missing --run aclocal-1.11
58AMTAR = ${SHELL} /home/mei/Deter/abac0-master/missing --run tar
59AR = ar
60AUTOCONF = ${SHELL} /home/mei/Deter/abac0-master/missing --run autoconf
61AUTOHEADER = ${SHELL} /home/mei/Deter/abac0-master/missing --run autoheader
62AUTOMAKE = ${SHELL} /home/mei/Deter/abac0-master/missing --run automake-1.11
63AWK = gawk
64AX_SWIG_PYTHON_CPPFLAGS = -I/usr/local/include/python2.7
65AX_SWIG_PYTHON_OPT = -python
66CC = gcc
67CCDEPMODE = depmode=gcc3
68CFLAGS = -g -O2
69CPP = gcc -E
70CPPFLAGS = 
71CXX = g++
72CXXCPP = g++ -E
73CXXDEPMODE = depmode=gcc3
74CXXFLAGS = -g -O2
75CYGPATH_W = echo
76DEFS = -DPACKAGE_NAME=\"ABAC\" -DPACKAGE_TARNAME=\"abac\" -DPACKAGE_VERSION=\"0.1.5\" -DPACKAGE_STRING=\"ABAC\ 0.1.5\" -DPACKAGE_BUGREPORT=\"faber@ISI.EDU\" -DPACKAGE_URL=\"\" -DPACKAGE=\"abac\" -DVERSION=\"0.1.5\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -DHAVE_PYTHON=\"2.7\" -DHAVE_INTTYPES_H=1 -DHAVE_STDDEF_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_PATHS_H=1 -DHAVE__BOOL=1 -DHAVE_STDBOOL_H=1 -DHAVE_PTRDIFF_T=1 -DHAVE_STDLIB_H=1 -DHAVE_MALLOC=1 -DHAVE_ATEXIT=1 -DHAVE_MEMSET=1 -DHAVE_STRCHR=1 -DHAVE_STRDUP=1
77DEPDIR = .deps
78DSYMUTIL = 
79DUMPBIN = 
80ECHO_C = 
81ECHO_N = -n
82ECHO_T = 
83EGREP = /bin/grep -E
84EXEEXT = 
85FGREP = /bin/grep -F
86GREP = /bin/grep
87INSTALL = /usr/bin/install -c
88INSTALL_DATA = ${INSTALL} -m 644
89INSTALL_PROGRAM = ${INSTALL}
90INSTALL_SCRIPT = ${INSTALL}
91INSTALL_STRIP_PROGRAM = $(install_sh) -c -s
92LD = /usr/bin/ld
93LDFLAGS = 
94LIBOBJS = 
95LIBS = 
96LIBTOOL = $(SHELL) $(top_builddir)/libtool
97LIPO = 
98LN_S = ln -s
99LTLIBOBJS = 
100MAKEINFO = ${SHELL} /home/mei/Deter/abac0-master/missing --run makeinfo
101MKDIR_P = /bin/mkdir -p
102NM = /usr/bin/nm -B
103NMEDIT = 
104OBJDUMP = objdump
105OBJEXT = o
106OPENSSL_INCLUDES = 
107OPENSSL_LDFLAGS = 
108OPENSSL_LIBS = -lssl -lcrypto 
109OTOOL = 
110OTOOL64 = 
111PACKAGE = abac
112PACKAGE_BUGREPORT = faber@ISI.EDU
113PACKAGE_NAME = ABAC
114PACKAGE_STRING = ABAC 0.1.5
115PACKAGE_TARNAME = abac
116PACKAGE_URL = 
117PACKAGE_VERSION = 0.1.5
118PATH_SEPARATOR = :
119PERL = perl
120PKG_CONFIG = /usr/bin/pkg-config
121PYTHON = /usr/local/bin/python
122PYTHON_CPPFLAGS = -I/usr/local/include/python2.7
123PYTHON_EXEC_PREFIX = ${exec_prefix}
124PYTHON_EXTRA_LDFLAGS = -Xlinker -export-dynamic
125PYTHON_EXTRA_LIBS =  -lpthread -ldl  -lutil -lm
126PYTHON_LDFLAGS = -L/usr/local/lib/python2.7/config -lpython2.7
127PYTHON_PLATFORM = linux2
128PYTHON_PREFIX = ${prefix}
129PYTHON_SITE_PKG = /usr/local/lib/python2.7/site-packages
130PYTHON_VERSION = 2.7
131RANLIB = ranlib
132SED = /bin/sed
133SET_MAKE = 
134SHELL = /bin/bash
135SITE_PERL = /usr/local/lib/site_perl
136STRIP = strip
137SWIG = /usr/local/bin/swig -c++
138SWIG_LIB = /usr/local/share/swig/2.0.4
139VERSION = 0.1.5
140XML2_CONFIG = /usr/bin/xml2-config
141XML2_INCLUDES = -I/usr/include/libxml2
142XML2_LDFLAGS = -lxml2
143XML2_LIBS = -lxml2
144XMLSEC1_CONFIG = /usr/bin/xmlsec1-config
145XMLSEC1_INCLUDES = -D__XMLSEC_FUNCTION__=__FUNCTION__ -DXMLSEC_NO_GOST=1 -DXMLSEC_NO_XKMS=1 -DXMLSEC_NO_CRYPTO_DYNAMIC_LOADING=1 -I/usr/include/xmlsec1 -I/usr/include/libxml2 -DXMLSEC_OPENSSL_098=1 -DXMLSEC_CRYPTO_OPENSSL=1 -DXMLSEC_CRYPTO=\"openssl\"
146XMLSEC1_LDFLAGS = -L/usr/lib -lxmlsec1-openssl -lxmlsec1 -lxslt -lxml2 -lssl -lcrypto
147XMLSEC1_LIBS = -L/usr/lib -lxmlsec1-openssl -lxmlsec1 -lxslt -lxml2 -lssl -lcrypto
148abs_builddir = /home/mei/Deter/abac0-master/tests/creddy_prover_tests
149abs_srcdir = /home/mei/Deter/abac0-master/tests/creddy_prover_tests
150abs_top_builddir = /home/mei/Deter/abac0-master
151abs_top_srcdir = /home/mei/Deter/abac0-master
152ac_ct_CC = gcc
153ac_ct_CXX = g++
154ac_ct_DUMPBIN = 
155am__include = include
156am__leading_dot = .
157am__quote = 
158am__tar = ${AMTAR} chof - "$$tardir"
159am__untar = ${AMTAR} xf -
160bindir = ${exec_prefix}/bin
161build = i686-pc-linux-gnu
162build_alias = 
163build_cpu = i686
164build_os = linux-gnu
165build_vendor = pc
166builddir = .
167datadir = ${datarootdir}
168datarootdir = ${prefix}/share
169docdir = ${datarootdir}/doc/${PACKAGE_TARNAME}
170dvidir = ${docdir}
171exec_prefix = ${prefix}
172host = i686-pc-linux-gnu
173host_alias = 
174host_cpu = i686
175host_os = linux-gnu
176host_vendor = pc
177htmldir = ${docdir}
178includedir = ${prefix}/include
179infodir = ${datarootdir}/info
180install_sh = ${SHELL} /home/mei/Deter/abac0-master/install-sh
181libdir = ${exec_prefix}/lib
182libexecdir = ${exec_prefix}/libexec
183localedir = ${datarootdir}/locale
184localstatedir = ${prefix}/var
185lt_ECHO = echo
186mandir = ${datarootdir}/man
187mkdir_p = /bin/mkdir -p
188oldincludedir = /usr/include
189pdfdir = ${docdir}
190pkgpyexecdir = ${pyexecdir}/abac
191pkgpythondir = ${pythondir}/abac
192prefix = /usr/local
193program_transform_name = s,x,x,
194psdir = ${docdir}
195pyexecdir = ${exec_prefix}/lib/python2.7/site-packages
196pythondir = ${prefix}/lib/python2.7/site-packages
197sbindir = ${exec_prefix}/sbin
198sharedstatedir = ${prefix}/com
199srcdir = .
200sysconfdir = ${prefix}/etc
201target_alias = 
202top_build_prefix = ../../
203top_builddir = ../..
204top_srcdir = ../..
205
206#
207# creddy_prover_tests
208#
209INCLUDES = -I$(abs_top_srcdir)/libabac
210LDADD = $(abs_top_builddir)/libabac/libabac.la
211CREDDY_ENV = CREDDY_LOCATION=$(abs_top_builddir)/creddy
212PROVER_ENV = PROVER_LOCATION=$(abs_top_builddir)/libabac
213TEST_ENV = TESTDIR=$(abs_top_builddir)/tests
214MY_ENV = env $(CREDDY_ENV) $(PROVER_ENV) $(TEST_ENV)
215DIRECTORY = acme_rockets_intersection_rt0 acme_rockets_rt0 \
216          experiment_create_rt0 ice_cream_rt0
217
218all: all-am
219
220.SUFFIXES:
221$(srcdir)/Makefile.in:  $(srcdir)/Makefile.am  $(am__configure_deps)
222        @for dep in $?; do \
223          case '$(am__configure_deps)' in \
224            *$$dep*) \
225              ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
226                && { if test -f $@; then exit 0; else break; fi; }; \
227              exit 1;; \
228          esac; \
229        done; \
230        echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign tests/creddy_prover_tests/Makefile'; \
231        $(am__cd) $(top_srcdir) && \
232          $(AUTOMAKE) --foreign tests/creddy_prover_tests/Makefile
233.PRECIOUS: Makefile
234Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
235        @case '$?' in \
236          *config.status*) \
237            cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
238          *) \
239            echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
240            cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
241        esac;
242
243$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
244        cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
245
246$(top_srcdir)/configure:  $(am__configure_deps)
247        cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
248$(ACLOCAL_M4):  $(am__aclocal_m4_deps)
249        cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
250$(am__aclocal_m4_deps):
251
252mostlyclean-libtool:
253        -rm -f *.lo
254
255clean-libtool:
256        -rm -rf .libs _libs
257tags: TAGS
258TAGS:
259
260ctags: CTAGS
261CTAGS:
262
263
264distdir: $(DISTFILES)
265        @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
266        topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
267        list='$(DISTFILES)'; \
268          dist_files=`for file in $$list; do echo $$file; done | \
269          sed -e "s|^$$srcdirstrip/||;t" \
270              -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
271        case $$dist_files in \
272          */*) $(MKDIR_P) `echo "$$dist_files" | \
273                           sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
274                           sort -u` ;; \
275        esac; \
276        for file in $$dist_files; do \
277          if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
278          if test -d $$d/$$file; then \
279            dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
280            if test -d "$(distdir)/$$file"; then \
281              find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
282            fi; \
283            if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
284              cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
285              find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
286            fi; \
287            cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \
288          else \
289            test -f "$(distdir)/$$file" \
290            || cp -p $$d/$$file "$(distdir)/$$file" \
291            || exit 1; \
292          fi; \
293        done
294check-am: all-am
295check: check-am
296all-am: Makefile
297installdirs:
298install: install-am
299install-exec: install-exec-am
300install-data: install-data-am
301uninstall: uninstall-am
302
303install-am: all-am
304        @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
305
306installcheck: installcheck-am
307install-strip:
308        $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
309          install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
310          `test -z '$(STRIP)' || \
311            echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
312mostlyclean-generic:
313
314clean-generic:
315
316distclean-generic:
317        -test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
318        -test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)
319
320maintainer-clean-generic:
321        @echo "This command is intended for maintainers to use"
322        @echo "it deletes files that may require special tools to rebuild."
323clean-am: clean-generic clean-libtool clean-local mostlyclean-am
324
325distclean: distclean-am
326        -rm -f Makefile
327distclean-am: clean-am distclean-generic
328
329dvi: dvi-am
330
331dvi-am:
332
333html: html-am
334
335html-am:
336
337info: info-am
338
339info-am:
340
341install-data-am:
342
343install-dvi: install-dvi-am
344
345install-dvi-am:
346
347install-exec-am:
348
349install-html: install-html-am
350
351install-html-am:
352
353install-info: install-info-am
354
355install-info-am:
356
357install-man:
358
359install-pdf: install-pdf-am
360
361install-pdf-am:
362
363install-ps: install-ps-am
364
365install-ps-am:
366
367installcheck-am:
368
369maintainer-clean: maintainer-clean-am
370        -rm -f Makefile
371maintainer-clean-am: distclean-am maintainer-clean-generic
372
373mostlyclean: mostlyclean-am
374
375mostlyclean-am: mostlyclean-generic mostlyclean-libtool
376
377pdf: pdf-am
378
379pdf-am:
380
381ps: ps-am
382
383ps-am:
384
385uninstall-am:
386
387.MAKE: install-am install-strip
388
389.PHONY: all all-am check check-am clean clean-generic clean-libtool \
390        clean-local distclean distclean-generic distclean-libtool \
391        distdir dvi dvi-am html html-am info info-am install \
392        install-am install-data install-data-am install-dvi \
393        install-dvi-am install-exec install-exec-am install-html \
394        install-html-am install-info install-info-am install-man \
395        install-pdf install-pdf-am install-ps install-ps-am \
396        install-strip installcheck installcheck-am installdirs \
397        maintainer-clean maintainer-clean-generic mostlyclean \
398        mostlyclean-generic mostlyclean-libtool pdf pdf-am ps ps-am \
399        uninstall uninstall-am
400
401
402.PHONY : clean clean-local runcheck
403all: runcheck
404
405runcheck :
406        @echo 'running libabac CREDDY_PROVER testing...' | tee result
407        @touch error
408        @for i in $(DIRECTORY); do \
409          here=`pwd`; \
410          cd $$i; \
411          printf "\n ==> RUN on %s\n" "$$i" >> $$here/result ; \
412          $(MY_ENV) ./README 1>/dev/null 2>&1; \
413          $(MY_ENV) ./run_query |tee -a $$here/result |grep BAD >> $$here/error; \
414          cd $$here; \
415        done
416        @if test -f error ; \
417          then \
418            (if test `cat error | wc -l ` -eq 0 ; \
419              then echo "   PASSED"; \
420              else (echo "   ERROR!!!"; cat error;) \
421            fi) \
422          else echo "   PASSED"; \
423        fi
424
425clean :
426        @for i in $(DIRECTORY); do \
427          here=`pwd`; \
428          cd $$i; \
429          rm -rf *.pem *.xml; \
430          cd $$here; \
431        done
432        @rm -rf result error
433
434clean-local: 
435        @rm -rf result error
436
437# Tell versions [3.59,3.63) of GNU make to not export all variables.
438# Otherwise a system limit (for SysV at least) may be exceeded.
439.NOEXPORT:
Note: See TracBrowser for help on using the repository browser.