source: vis_dev/vis-2.1/semantic.cache @ 12

;; Object vis-2.1/
;; SEMANTICDB Tags save file
(semanticdb-project-database-file "vis-2.1/"
  :tables (list 
   (semanticdb-table "Makefile"
    :major-mode 'makefile-gmake-mode
    :tags '((".PHONY" function (:arguments ("default")) nil [1694 1712]) ("default" function (:arguments ("all")) nil [1712 1727]) ("PKGS" variable (:default-value ("$(ALL_PKGS)")) nil [1972 1991]) ("BDDPKG" variable (:default-value ("cu")) nil [2030 2042]) ("ALL_PKGS" variable (:default-value ("abs" "amc" "baig" "bmc" "cmd" "ctlp" "ctlsp" "eqv" "fsm" "rob" "grab" "hrc" "imc" "img" "io" "ltl" "maig" "mark" "mc" "mvf" "mvfaig" "ntk" "ntm" "ntmaig" "ord" "part" "puresat" "rst" "res" "restr" "rt" "sat" "sim" "spfd" "synth" "tbl" "truesim" "tst" "var" "vm")) nil [3191 3398]) ("MISSING_PKGS" variable (:default-value ("$(filter-out $(PKGS), $(ALL_PKGS))")) nil [3456 3506]) ("BDDPKGS" variable (:default-value ("cu" "cmu" "cal")) nil [3530 3551]) ("SHELL" variable (:default-value ("/bin/sh")) nil [3710 3726]) (".SUFFIXES" function nil nil [3726 3738]) ("PRODUCT" variable (:default-value ("vis")) nil [3925 3939]) ("VERSION" variable (:default-value ("2.1")) nil [3939 3953]) ("VERDATE" variable (:default-value ("-DCUR_DATE=\"\\\"$(shell date)\\\"\"" "-DCUR_VER=\"\\\"$(PRODUCT)" "release" "$(VERSION)\\\"\"")) nil [4101 4189]) ("master_srcdir" variable (:default-value (".")) nil [4532 4550]) ("local_srcdir" variable (:default-value (".")) nil [4771 4789]) ("gluincdir1" variable nil nil [5028 5043]) ("glulibdir1" variable nil nil [5099 5113]) ("objectdir" variable (:default-value ("obj")) nil [5177 5193]) ("headerdir" variable (:default-value ("$(local_srcdir)/include")) nil [5266 5302]) ("docdir" variable (:default-value ("$(master_srcdir)/doc")) nil [5369 5399]) ("htmldocdir" variable (:default-value ("$(docdir)/html")) nil [5399 5427]) ("txtdocdir" variable (:default-value ("$(docdir)/txt")) nil [5427 5453]) ("helpdir" variable (:default-value ("$(master_srcdir)/share/help")) nil [5453 5491]) ("vislibdir" variable (:default-value (".")) nil [5578 5592]) ("VIS_LIBRARY_PATH" variable (:default-value ("$(shell cd $(master_srcdir)/share ; pwd)")) nil [5808 5868]) ("gluincdir" variable (:default-value ("../glu-$(VERSION)/include" "../../glu-$(VERSION)/include")) nil [6078 6145]) ("gluincdir" variable (:default-value ("$(gluincdir1)" "$(gluincdir1)/../src/cudd")) nil [6152 6205]) ("glulibdir" variable (:default-value ("../glu-$(VERSION)" "../../glu-$(VERSION)")) nil [6232 6283]) ("glulibdir" variable (:default-value ("$(glulibdir1)")) nil [6290 6316]) ("LIBRARY" variable (:default-value ("lib$(PRODUCT).a")) nil [6537 6563]) ("MANPAGE" variable (:default-value ("vis.1")) nil [6587 6609]) ("prefix" variable (:default-value ("/usr/local")) nil [6707 6727]) ("exec_prefix" variable (:default-value ("${prefix}")) nil [6828 6852]) ("bindir" variable (:default-value ("$(exec_prefix)/bin")) nil [6894 6922]) ("libdir" variable (:default-value ("$(exec_prefix)/lib")) nil [6965 6993]) ("includedir" variable (:default-value ("$(prefix)/include")) nil [7034 7065]) ("datadir" variable (:default-value ("$(prefix)/share/vis")) nil [7137 7168]) ("mandir" variable (:default-value ("$(prefix)/man/man1")) nil [7198 7226]) ("AC_FLAGS" variable (:default-value ("-DPACKAGE_NAME=\\\"\\\"" "-DPACKAGE_TARNAME=\\\"\\\"" "-DPACKAGE_VERSION=\\\"\\\"" "-DPACKAGE_STRING=\\\"\\\"" "-DPACKAGE_BUGREPORT=\\\"\\\"" "-DYYTEXT_POINTER=1" "-DSTDC_HEADERS=1" "-DHAVE_LIBBSD=1" "-DHAVE_LIBREADLINE=1" "-DHAVE_DIRENT_H=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_SYS_TERMIOS_H=1" "-DHAVE_SYS_IOCTL_H=1" "-DHAVE_SYS_TIME_H=1" "-DHAVE_SIGNAL_H=1" "-DHAVE_SYS_SIGNAL_H=1" "-DHAVE_READLINE_READLINE_H=1" "-DHAVE_READLINE_HISTORY_H=1" "-DIOCTL_WITH_TERMIOS=1" "-DTIME_WITH_SYS_TIME=1" "-DRETSIGTYPE=void" "-DRETSIGTYPE=void" "-DHAVE_GETTIMEOFDAY=1" "-DHAVE_STRCHR=1" "-DHAVE_STRSTR=1" "-DHAVE_SETVBUF=1" "-DHAVE_GETENV=1" "-DHAVE_UNLINK=1" "-DHAVE_MKSTEMP=1" "-DHAVE_CLOSE=1")) nil [7420 8184]) ("LIBDIRS" variable nil nil [8184 8195]) ("RANLIB" variable (:default-value ("ranlib")) nil [8195 8211]) ("CC" variable (:default-value ("gcc" "-m32")) nil [8211 8226]) ("LINKER" variable (:default-value ("gcc" "-m32")) nil [8226 8244]) ("LDFLAGS" variable nil nil [8244 8255]) ("CPPFLAGS" variable nil nil [8255 8272]) ("PLINKER" variable nil nil [8347 8364]) ("CFLAGS" variable (:default-value ("-g")) nil [8364 8376]) ("OTHERLIBS" variable (:default-value ("-lm" "-lbsd" "-lreadline" "-ltermcap" "-lfl")) nil [8376 8425]) ("YACC" variable (:default-value ("bison" "-y")) nil [8425 8442]) ("LEX" variable (:default-value ("flex")) nil [8442 8454]) ("NAWK" variable (:default-value ("gawk")) nil [8454 8467]) ("INSTALL" variable (:default-value ("/usr/bin/install" "-c")) nil [8467 8497]) ("INSTALL_PROGRAM" variable (:default-value ("${INSTALL}")) nil [8497 8526]) ("INSTALL_DATA" variable (:default-value ("${INSTALL}" "-m" "644")) nil [8526 8559]) ("AR" variable (:default-value ("/usr/bin/ar")) nil [8559 8577]) ("ZCHAFF" variable (:default-value ("/dsk/l1/misc/data/vis/zchaff/zchaff")) nil [8577 8629]) ("EXAMPLES" variable (:default-value ("$(CHECK_COMMON_EXAMPLES)" "$(CHECK_EXAMPLES_cu)" "$(CHECK_EXAMPLES_cmu)" "$(CHECK_EXAMPLES_cal)" "bpb" "eight_queens" "minmax" "ping_pong_new" "rcnum")) nil [9105 9258]) ("EXAMPLEFILES" variable (:default-value ("$(patsubst $(local_srcdir)/%, %, \\
                $(filter-out %RCS, $(foreach example, $(EXAMPLES), \\
                  $(wildcard $(local_srcdir)/examples/$(example)/*))))")) nil [9482 9644]) ("DOCUMENTATION" variable (:default-value ("blifmv.ps" "ctl.ps" "vis_user.ps" "two_phase.ps")) nil [9927 9985]) ("SHAREFILES" variable (:default-value ("master.visrc" "ioBlifToMv.nawk" "ioBlifToMvForIncremental.nawk" "script_compute_reach.simple" "script_compute_reach.robust" "script_model_check.simple" "script_model_check.robust" "script_fair_model_check.simple" "script_fair_model_check.robust" "script_lang_empty_check.simple" "script_lang_empty_check.robust" "script_generic.simple" "script_generic.robust" "sislib.mv" "createfunctionmap" "memoryaccount" "visdbgpp")) nil [10162 10603]) ("HELPFILES" variable (:default-value ("$(notdir $(wildcard $(helpdir)/*.txt))")) nil [10604 10655]) ("MAKEINCLUDES" variable (:default-value ("$(foreach package, $(PKGS), \\
        $(local_srcdir)/src/$(package)/$(package).make)")) nil [11087 11181]) ("$(MAKEINCLUDES)" include nil nil [11182 11206]) ("OBJECTS" variable (:default-value ("$(addprefix $(objectdir)/,$(GENERATEDCSRC:.c=.o) $(CSRC:.c=.o))")) nil [11207 11281]) ("DEPENDENCIES" variable (:default-value ("$(foreach package, $(PKGS), \\
        $(local_srcdir)/src/$(package)/$(package).d)")) nil [11542 11633]) ("INCLUDEDIRS" variable (:default-value ("$(addprefix -I,$(gluincdir))" "$(foreach package, $(PKGS), -I$(local_srcdir)/src/$(package))" "$(foreach package, $(MISSING_PKGS), \\
                -I$(master_srcdir)/src/$(package))" "-I$(objectdir)" "$(CPPFLAGS)")) nil [12023 12253]) ("LIBRARYDIRS" variable (:default-value ("$(addprefix -L,$(vislibdir))" "$(addprefix -L,$(glulibdir))" "$(LIBDIRS)")) nil [12254 12341]) ("VISLIBS" variable (:default-value ("-l$(PRODUCT)")) nil [12499 12522]) ("VISLIBS" variable nil nil [12529 12539]) ("GLULIBS" variable (:default-value ("-l$(BDDPKG)" "-lglu")) nil [12546 12574]) ("OTHERLIBS" variable (:default-value ("-lstdc++")) nil [12628 12650]) ("LIBS" variable (:default-value ("$(VISLIBS)" "$(GLULIBS)" "$(OTHERLIBS)")) nil [12657 12699]) ("VPATH" variable (:default-value ("$(local_srcdir):" "$(master_srcdir):" "$(addprefix :$(local_srcdir)/src/,$(PKGS)):" "$(addprefix :$(master_srcdir)/src/,$(MISSING_PKGS)):" "$(objectdir):" "$(local_srcdir)/share")) nil [12963 13154]) ("DISTRIBUTION" variable (:default-value ("$(PRODUCT)-$(VERSION)")) nil [13340 13377]) ("DISTDIRS" variable (:default-value ("src" "helpers" "share" "share/help" "obj" "doc" "examples" "$(addprefix examples/,$(EXAMPLES))" "$(addprefix src/,$(PKGS))")) nil [13429 13550]) ("HELPERS" variable (:default-value ("$(addprefix helpers/, \\
        install-sh mkinstalldirs config.guess config.sub dependency.make)")) nil [13581 13682]) ("DISTFILES" variable (:default-value ("README" "INSTALL" "NEWS" "configure" "configure.in" "Makefile.in" "$(HELPERS)" "vis.1" "xsimv" "$(CSRC)" "$(HEADERS)" "$(LEXSRC)" "$(YACCSRC)" "$(MAKEINCLUDES)" "$(EXAMPLEFILES)" "$(addprefix doc/,$(DOCUMENTATION))" "$(addprefix share/,$(SHAREFILES))" "$(addprefix share/help/,$(HELPFILES))")) nil [13728 14024]) ("rcs_rootdir" variable (:default-value ("/projects/vis/rcsRoot/common")) nil [14236 14288]) ("RCSFILES" variable (:default-value ("$(CSRC)" "$(HEADERS)" "$(LEXSRC)" "$(YACCSRC)" "$(MAKEINCLUDES)")) nil [14289 14363]) ("RCSMISCFILES" variable (:default-value ("Makefile.in" "configure.in" "localconfigure" "masterconfigure" "README" "INSTALL" "NEWS" "xsimv" "$(addprefix helpers/, mkinstalldirs install-sh \\
                config.guess config.sub dependency.make )")) nil [14364 14562]) ("RCSSHAREFILES" variable (:default-value ("$(SHAREFILES)")) nil [14563 14600]) ("ALLCFLAGS" variable (:default-value ("$(CFLAGS)" "$(AC_FLAGS)" "$(VERDATE)" "-DNAWK=\\\"$(NAWK)\\\"" "-DLIBRARY=\\\"$(datadir)\\\"")) nil [14763 14856]) ("$(objectdir)" function (:arguments ("%.c")) nil [14914 14995]) ("%.a" function nil nil [15033 15089]) (".PHONY" function (:arguments ("help")) nil [15449 15464]) ("help" function nil nil [15561 15598]) ("ignored" variable (:default-value ("$(shell umask 2; test -d $(objectdir) || mkdir $(objectdir))")) nil [15855 15927]) (".PHONY" function (:arguments ("all" "allprods" "library" "allprods-mp" "exe-mp" "compile-version" "delete-version")) nil [16128 16209]) ("all" function (:arguments ("ALLCFLAGS" "+=" "-DBDD$(BDDPKG)")) nil [16304 16339]) ("all" function (:arguments ("compile-version" "$(PRODUCT)")) nil [16339 16373]) ("$(PRODUCT)" function (:arguments ("$(OBJECTS)" "$(glulibdir)/libglu.a" "$(glulibdir)/lib$(BDDPKG).a")) nil [16402 16561]) ("allprods" function (:arguments ("$(OBJECTS)" "$(glulibdir)/libglu.a" "$(foreach bddpkg, $(BDDPKGS), \\
           $(glulibdir)/lib$(bddpkg).a)")) nil [16628 17112]) ("compile-version" function (:arguments ("delete-version" "$(objectdir)/vmVers.o" "$(objectdir)/satBDD.o")) nil [17164 17242]) ("delete-version" function nil nil [17291 17360]) ("library" function (:arguments ("$(LIBRARY)")) nil [17484 17506]) ("$(LIBRARY)" function (:arguments ("$(OBJECTS)")) nil [17506 17531]) ("$(PRODUCT)" function (:arguments ("$(LIBRARY)" "$(glulibdir)/libglu.a" "$(foreach bddpkg, $(BDDPKGS), \\
                $(glulibdir)/lib$(bddpkg).a)")) nil [17545 17784]) ("allprods-mp" function (:arguments ("$(LIBRARY)" "$(glulibdir)/libglu.a" "$(foreach bddpkg, $(BDDPKGS), \\
                $(glulibdir)/lib$(bddpkg).a)")) nil [17784 18151]) ("exe-mp" function (:arguments ("$(OBJECTS)")) nil [18151 18288]) (".PHONY" function (:arguments ("functionmap")) nil [18501 18523]) ("FMAPFILE" variable (:default-value (".fmap")) nil [18523 18540]) ("functionmap" function (:arguments ("$(CSRC)")) nil [18540 18617]) (".PHONY" function (:arguments ("install" "uninstall" "installdirs")) nil [18787 18827]) ("install" function (:arguments ("$(PRODUCT)" "$(LIBRARY)" "installdirs")) nil [18926 19742]) ("uninstall" function nil nil [19792 20221]) ("installdirs" function nil nil [20221 20369]) (".PHONY" function (:arguments ("check" "check-examples")) nil [20545 20576]) ("SED_CMD" variable (:default-value ("/^FSM" "depth/p;" "/^computation" "depth/p;" "/^reachable" "states" "=/p;" "/^\\")) nil [20969 21082]) ("CHECK_EXAMPLES_cu" variable (:default-value ("daio_receiver" "mult6x6" "s1269" "fpmpy" "restruct" "synthesis" "production_cell")) nil [21898 21990]) ("CHECK_EXAMPLES_cmu" variable nil nil [21990 22011]) ("CHECK_EXAMPLES_cal" variable nil nil [22011 22032]) ("CHECK_COMMON_EXAMPLES" variable (:default-value ("abp" "amp" "arbiter" "bakery" "coherence" "counter" "crd" "ctlp3" "dcnew" "eisenberg" "elevator" "ethernet" "exampleS" "gcd" "gigamax" "ping_pong" "scheduler" "short" "slider" "tbl_one_bug" "tcp" "tlc" "treearbiter")) nil [22090 22291]) ("CHECK_EXAMPLES" variable (:default-value ("$(CHECK_COMMON_EXAMPLES)" "$(CHECK_EXAMPLES_$(BDDPKG))")) nil [22292 22362]) ("EXECUTABLE" variable (:default-value ("$(PRODUCT)")) nil [22554 22578]) ("EXECUTABLEPATH" variable (:default-value ("$(shell cd $(dir $(EXECUTABLE)) ; pwd)/$(notdir $(EXECUTABLE))")) nil [22579 22663]) ("EXAMPLEPATH" variable (:default-value ("$(master_srcdir)/examples")) nil [22708 22748]) ("FULLEXAMPLEPATH" variable (:default-value ("$(shell cd $(EXAMPLEPATH) ; pwd)")) nil [22749 22801]) ("check" function (:arguments ("check-examples")) nil [22874 22898]) ("check-allprods" function nil nil [23031 23199]) ("check-examples" function nil nil [24349 25522]) (".PHONY" function (:arguments ("dependencies" "cleandependencies")) nil [25792 25833]) ("dependencies" function nil nil [26219 26238]) ("cleandependencies" function nil nil [26722 26775]) (".PHONY" function (:arguments ("dist")) nil [26959 26974]) ("dist" function (:arguments ("$(DISTRIBUTION).tar.gz")) nil [27138 27169]) ("$(DISTRIBUTION)" function (:arguments ("$(DISTFILES)")) nil [27169 27211]) ("${master_srcdir}" function (:arguments ("configure.in")) nil [28034 28147]) ("config.status" function (:arguments ("configure")) nil [28147 28201]) ("Makefile" function (:arguments ("Makefile.in" "config.status")) nil [28201 28396]) (".PHONY" function (:arguments ("clean" "mostlyclean" "distclean")) nil [28562 28600]) ("clean" function nil nil [28654 28801]) ("mostlyclean" function nil nil [28654 28801]) ("distclean" function (:arguments ("clean" "cleandependencies")) nil [28871 28962]) (".PHONY" function (:arguments ("check-code")) nil [29201 29222]) ("CHECK_FLAGS" variable (:default-value ("-Wall" "-pedantic" "-DBDD$(BDDPKG)")) nil [29327 29373]) ("CHECK_FLAGS" variable (:default-value ("-Wstrict-prototypes" "-Wmissing-prototypes" "-Wmissing-declarations")) nil [29392 29471]) ("check-code" function (:arguments ("$(CSRC)" "$(BDD_CSRC)" "$(MDD_CSRC)")) nil [29478 29528]) (".PHONY" function (:arguments ("proto")) nil [30310 30326]) ("proto" function nil nil [30499 30625]) (".PHONY" function (:arguments ("allDoc" "doc" "indices" "helpfiles" "cleandoc")) nil [30950 30998]) ("allDoc" function (:arguments ("cleandoc" "doc" "indices" "helpfiles")) nil [31080 31121]) ("doc" function (:arguments ("$(htmldocdir)" "$(txtdocdir)")) nil [31189 31358]) ("indices" function (:arguments ("$(htmldocdir)")) nil [31438 31497]) ("helpfiles" function (:arguments ("$(helpdir)")) nil [31566 31749]) ("cleandoc" function nil nil [31816 31914]) ("$(htmldocdir)" function nil nil [31914 31964]) ("$(txtdocdir)" function nil nil [31964 32012]) ("$(helpdir)" function nil nil [32012 32056]) (".PHONY" function (:arguments ("rcs_ci" "rcs_co" "rcs_diff" "rcs_ident" "rcs_status")) nil [32337 32390]) ("rcs_ci" function (:arguments ("$(RCSFILES)")) nil [32631 32861]) ("rcs_co" function (:arguments ("$(RCSFILES)")) nil [32908 33066]) ("rcs_diff" function (:arguments ("$(RCSFILES)")) nil [33145 33307]) ("rcs_ident" function (:arguments ("$(RCSFILES)")) nil [33362 33499]) ("rcs_status" function (:arguments ("$(RCSFILES)")) nil [33550 33701]) (".PHONY" function (:arguments ("rcs_ci_misc" "rcs_co_misc" "rcs_diff_misc")) nil [33960 34008]) ("rcs_ci_misc" function (:arguments ("$(RCSMISCFILES)")) nil [34079 34318]) ("rcs_co_misc" function (:arguments ("$(RCSMISCFILES)")) nil [34367 34534]) ("rcs_diff_misc" function (:arguments ("$(RCSMISCFILES)")) nil [34597 34768]) ("rcs_ident_misc" function (:arguments ("$(RCSMISCFILES)")) nil [34813 34959]) ("rcs_status_misc" function (:arguments ("$(RCSMISCFILES)")) nil [35022 35182]) (".PHONY" function (:arguments ("rcs_ci_share" "rcs_co_share" "rcs_diff_share")) nil [35365 35416]) ("rcs_ci_share" function (:arguments ("$(RCSSHAREFILES)")) nil [35475 35716]) ("rcs_co_share" function (:arguments ("$(RCSSHAREFILES)")) nil [35758 35927]) ("rcs_diff_share" function (:arguments ("$(RCSSHAREFILES)")) nil [35983 36156]) ("rcs_ident_share" function (:arguments ("$(RCSSHAREFILES)")) nil [36202 36350]) ("rcs_status_share" function (:arguments ("$(RCSSHAREFILES)")) nil [36414 36576]) (".PHONY" function (:arguments ("debug-make")) nil [36756 36777]) ("DEBUG_VARS" variable (:default-value ("ALL_PKGS" "PKGS" "MISSING_PKGS" "VPATH" "INCLUDEDIRS" "CSRC" "OBJECTS" "HEADERS" "MAKEINCLUDES" "CFLAGS" "AC_FLAGS" "master_srcdir" "local_srcdir" "RCSFILES" "RCSDIR" "LIBS" "VISLIBS" "DISTFILES" "EXAMPLEFILES")) nil [36777 37037]) ("debug-make" function nil nil [37094 37164]))
    :file "Makefile"
    :pointmax 37164
    )
   )
  :file "semantic.cache"
  :semantic-tag-version "2.0beta3"
  :semanticdb-version "2.0beta3"
  )