| 1 | version:1 |
|---|
| 2 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 3 | :debug:main readline 6.2.000_0 exists in the ports tree |
|---|
| 4 | :debug:main readline 6.2.000_0 is the latest installed |
|---|
| 5 | :debug:main readline 6.2.000_0 is active |
|---|
| 6 | :debug:main Merging existing variants '' into variants |
|---|
| 7 | :debug:main new fully merged portvariants: |
|---|
| 8 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/readline |
|---|
| 9 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386 |
|---|
| 10 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 11 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 12 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 13 | :debug:main Using group file /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/group/muniversal-1.0.tcl |
|---|
| 14 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 15 | :debug:main universal variant already exists, so not adding the default one |
|---|
| 16 | :debug:main No need to upgrade! readline 6.2.000_0 >= readline 6.2.000_0 |
|---|
| 17 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 18 | :debug:main ncurses 5.9_1 exists in the ports tree |
|---|
| 19 | :debug:main ncurses 5.9_1 is the latest installed |
|---|
| 20 | :debug:main ncurses 5.9_1 is active |
|---|
| 21 | :debug:main Merging existing variants '' into variants |
|---|
| 22 | :debug:main new fully merged portvariants: |
|---|
| 23 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/devel/ncurses |
|---|
| 24 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386 |
|---|
| 25 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 26 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 27 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 28 | :debug:main adding the default universal variant |
|---|
| 29 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 30 | :debug:main No need to upgrade! ncurses 5.9_1 >= ncurses 5.9_1 |
|---|
| 31 | :debug:main epoch: in tree: 0 installed: 0 |
|---|
| 32 | :debug:main expat 2.0.1_1 exists in the ports tree |
|---|
| 33 | :debug:main expat 2.0.1_1 is the latest installed |
|---|
| 34 | :debug:main expat 2.0.1_1 is active |
|---|
| 35 | :debug:main Merging existing variants '' into variants |
|---|
| 36 | :debug:main new fully merged portvariants: |
|---|
| 37 | :debug:main Changing to port directory: /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/textproc/expat |
|---|
| 38 | :debug:main OS darwin/11.2.0 (Mac OS X 10.7) arch i386 |
|---|
| 39 | :debug:main org.macports.load registered provides 'load', a pre-existing procedure. Target override will not be provided |
|---|
| 40 | :debug:main org.macports.unload registered provides 'unload', a pre-existing procedure. Target override will not be provided |
|---|
| 41 | :debug:main org.macports.distfiles registered provides 'distfiles', a pre-existing procedure. Target override will not be provided |
|---|
| 42 | :debug:main adding the default universal variant |
|---|
| 43 | :debug:main Reading variant descriptions from /opt/local/var/macports/sources/rsync.macports.org/release/tarballs/ports/_resources/port1.0/variant_descriptions.conf |
|---|
| 44 | :debug:main No need to upgrade! expat 2.0.1_1 >= expat 2.0.1_1 |
|---|
| 45 | :msg:main ---> Computing dependencies for nusmv:info:main .:debug:main Searching for dependency: readline |
|---|
| 46 | :debug:main Found Dependency: receipt exists for readline |
|---|
| 47 | :debug:main Searching for dependency: expat |
|---|
| 48 | :debug:main Found Dependency: receipt exists for expat |
|---|
| 49 | :msg:main |
|---|
| 50 | :debug:main Executing org.macports.main (nusmv) |
|---|
| 51 | :debug:main changing euid/egid - current euid: 0 - current egid: 0 |
|---|
| 52 | :debug:main egid changed to: 501 |
|---|
| 53 | :debug:main euid changed to: 502 |
|---|
| 54 | :debug:archivefetch archivefetch phase started at Tue Dec 20 13:15:27 EET 2011 |
|---|
| 55 | :msg:archivefetch ---> Fetching archive for nusmv |
|---|
| 56 | :debug:archivefetch Executing org.macports.archivefetch (nusmv) |
|---|
| 57 | :debug:archivefetch euid/egid changed to: 0/0 |
|---|
| 58 | :debug:archivefetch chowned /opt/local/var/macports/software/nusmv to macports |
|---|
| 59 | :debug:archivefetch euid/egid changed to: 502/501 |
|---|
| 60 | :debug:archivefetch euid/egid changed to: 0/0 |
|---|
| 61 | :debug:archivefetch chowned /opt/local/var/macports/incoming to macports |
|---|
| 62 | :debug:archivefetch euid/egid changed to: 502/501 |
|---|
| 63 | :info:archivefetch ---> nusmv-2.5.4_0.darwin_11.x86_64.tbz2 doesn't seem to exist in /opt/local/var/macports/software/nusmv |
|---|
| 64 | :msg:archivefetch ---> Attempting to fetch nusmv-2.5.4_0.darwin_11.x86_64.tbz2 from http://packages.macports.org/nusmv |
|---|
| 65 | :debug:archivefetch Fetching archive failed:: The requested URL returned error: 404 |
|---|
| 66 | :debug:archivefetch Privilege de-escalation not attempted as not running as root. |
|---|
| 67 | :debug:fetch fetch phase started at Tue Dec 20 13:15:28 EET 2011 |
|---|
| 68 | :notice:fetch ---> Fetching nusmv |
|---|
| 69 | :debug:fetch euid/egid changed to: 0/0 |
|---|
| 70 | :debug:fetch chowned /opt/local/var/macports/distfiles/nusmv to macports |
|---|
| 71 | :debug:fetch euid/egid changed to: 502/501 |
|---|
| 72 | :debug:fetch Executing org.macports.fetch (nusmv) |
|---|
| 73 | :debug:fetch Privilege de-escalation not attempted as not running as root. |
|---|
| 74 | :debug:checksum checksum phase started at Tue Dec 20 13:15:28 EET 2011 |
|---|
| 75 | :notice:checksum ---> Verifying checksum(s) for nusmv |
|---|
| 76 | :debug:checksum Executing org.macports.checksum (nusmv) |
|---|
| 77 | :info:checksum ---> Checksumming NuSMV-2.5.4.tar.gz |
|---|
| 78 | :debug:checksum Correct (rmd160) checksum for NuSMV-2.5.4.tar.gz |
|---|
| 79 | :debug:checksum Correct (sha256) checksum for NuSMV-2.5.4.tar.gz |
|---|
| 80 | :info:checksum ---> Checksumming minisat2-070721.zip |
|---|
| 81 | :debug:checksum Correct (rmd160) checksum for minisat2-070721.zip |
|---|
| 82 | :debug:checksum Correct (sha256) checksum for minisat2-070721.zip |
|---|
| 83 | :debug:checksum Privilege de-escalation not attempted as not running as root. |
|---|
| 84 | :debug:extract extract phase started at Tue Dec 20 13:15:28 EET 2011 |
|---|
| 85 | :notice:extract ---> Extracting nusmv |
|---|
| 86 | :debug:extract Executing org.macports.extract (nusmv) |
|---|
| 87 | :info:extract ---> Extracting NuSMV-2.5.4.tar.gz |
|---|
| 88 | :debug:extract setting option extract.args to '/opt/local/var/macports/distfiles/nusmv/NuSMV-2.5.4.tar.gz' |
|---|
| 89 | :debug:extract Environment: CPATH='/opt/local/include' CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/.CC_PRINT_OPTIONS' LIBRARY_PATH='/opt/local/lib' CC_PRINT_OPTIONS='YES' MACOSX_DEPLOYMENT_TARGET='10.7' |
|---|
| 90 | :debug:extract Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work" && /usr/bin/gzip -dc '/opt/local/var/macports/distfiles/nusmv/NuSMV-2.5.4.tar.gz' | /usr/bin/gnutar --no-same-owner -xf -' |
|---|
| 91 | :debug:extract Executing command line: cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work" && /usr/bin/gzip -dc '/opt/local/var/macports/distfiles/nusmv/NuSMV-2.5.4.tar.gz' | /usr/bin/gnutar --no-same-owner -xf - |
|---|
| 92 | :debug:extract euid/egid changed to: 0/0 |
|---|
| 93 | :debug:extract chowned /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work to macports |
|---|
| 94 | :debug:extract euid/egid changed to: 502/501 |
|---|
| 95 | :debug:extract Executing proc-post-org.macports.extract-extract-0 |
|---|
| 96 | :info:extract Archive: /opt/local/var/macports/distfiles/nusmv/minisat2-070721.zip |
|---|
| 97 | :info:extract creating: minisat/ |
|---|
| 98 | :info:extract creating: minisat/mtl/ |
|---|
| 99 | :info:extract inflating: minisat/mtl/Alg.h |
|---|
| 100 | :info:extract inflating: minisat/mtl/BasicHeap.h |
|---|
| 101 | :info:extract inflating: minisat/mtl/BoxedVec.h |
|---|
| 102 | :info:extract inflating: minisat/mtl/Heap.h |
|---|
| 103 | :info:extract inflating: minisat/mtl/Map.h |
|---|
| 104 | :info:extract inflating: minisat/mtl/Queue.h |
|---|
| 105 | :info:extract inflating: minisat/mtl/Sort.h |
|---|
| 106 | :info:extract inflating: minisat/mtl/Vec.h |
|---|
| 107 | :info:extract inflating: minisat/mtl/template.mk |
|---|
| 108 | :info:extract creating: minisat/core/ |
|---|
| 109 | :info:extract inflating: minisat/core/Main.C |
|---|
| 110 | :info:extract inflating: minisat/core/Solver.C |
|---|
| 111 | :info:extract inflating: minisat/core/Solver.h |
|---|
| 112 | :info:extract inflating: minisat/core/SolverTypes.h |
|---|
| 113 | :info:extract inflating: minisat/core/Makefile |
|---|
| 114 | :info:extract creating: minisat/simp/ |
|---|
| 115 | :info:extract inflating: minisat/simp/Main.C |
|---|
| 116 | :info:extract inflating: minisat/simp/SimpSolver.C |
|---|
| 117 | :info:extract inflating: minisat/simp/SimpSolver.h |
|---|
| 118 | :info:extract inflating: minisat/simp/Makefile |
|---|
| 119 | :info:extract inflating: minisat/LICENSE |
|---|
| 120 | :info:extract inflating: minisat/README |
|---|
| 121 | :debug:extract Privilege de-escalation not attempted as not running as root. |
|---|
| 122 | :debug:patch patch phase started at Tue Dec 20 13:15:30 EET 2011 |
|---|
| 123 | :debug:patch Executing org.macports.patch (nusmv) |
|---|
| 124 | :debug:patch Privilege de-escalation not attempted as not running as root. |
|---|
| 125 | :debug:configure configure phase started at Tue Dec 20 13:15:30 EET 2011 |
|---|
| 126 | :notice:configure ---> Configuring nusmv |
|---|
| 127 | :debug:configure Using compiler 'Mac OS X clang' |
|---|
| 128 | :debug:configure Executing proc-pre-org.macports.configure-configure-0 |
|---|
| 129 | :info:configure sh ./setup.sh |
|---|
| 130 | :info:configure Setting up cudd... Done |
|---|
| 131 | :info:configure Making cudd ... |
|---|
| 132 | :info:configure /Developer/usr/bin/clang -c cuddAPI.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 133 | :info:configure /Developer/usr/bin/clang -c cuddAddOp.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 134 | :info:configure /Developer/usr/bin/clang -c cuddAddFind.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 135 | :info:configure /Developer/usr/bin/clang -c cuddAddIte.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 136 | :info:configure /Developer/usr/bin/clang -c cuddAndAbs.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 137 | :info:configure /Developer/usr/bin/clang -c cuddBddOp.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 138 | :info:configure /Developer/usr/bin/clang -c cuddAnneal.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 139 | :info:configure /Developer/usr/bin/clang -c cuddApprox.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 140 | :info:configure /Developer/usr/bin/clang -c cuddBddAbs.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 141 | :info:configure /Developer/usr/bin/clang -c cuddBddCorr.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 142 | :info:configure /Developer/usr/bin/clang -c cuddBddIte.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 143 | :info:configure /Developer/usr/bin/clang -c cuddBridge.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 144 | :info:configure /Developer/usr/bin/clang -c cuddCache.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 145 | :info:configure /Developer/usr/bin/clang -c cuddCheck.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 146 | :info:configure /Developer/usr/bin/clang -c cuddClip.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 147 | :info:configure /Developer/usr/bin/clang -c cuddCof.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 148 | :info:configure /Developer/usr/bin/clang -c cuddCompose.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 149 | :info:configure /Developer/usr/bin/clang -c cuddDecomp.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 150 | :info:configure /Developer/usr/bin/clang -c cuddEssent.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 151 | :info:configure /Developer/usr/bin/clang -c cuddExact.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 152 | :info:configure /Developer/usr/bin/clang -c cuddExport.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 153 | :info:configure /Developer/usr/bin/clang -c cuddGenCof.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 154 | :info:configure /Developer/usr/bin/clang -c cuddGenetic.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 155 | :info:configure /Developer/usr/bin/clang -c cuddGroup.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 156 | :info:configure /Developer/usr/bin/clang -c cuddInit.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 157 | :info:configure /Developer/usr/bin/clang -c cuddInteract.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 158 | :info:configure /Developer/usr/bin/clang -c cuddLCache.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 159 | :info:configure cuddLCache.c:911:5: warning: array index of '1' indexes past the end of an array (that contains 1 elements) [-Warray-bounds] |
|---|
| 160 | :info:configure item->key[1] = g; |
|---|
| 161 | :info:configure ^ ~ |
|---|
| 162 | :info:configure ./cuddInt.h:287:5: note: array 'key' declared here |
|---|
| 163 | :info:configure DdNode *key[1]; |
|---|
| 164 | :info:configure ^ |
|---|
| 165 | :info:configure cuddLCache.c:1022:5: warning: array index of '1' indexes past the end of an array (that contains 1 elements) [-Warray-bounds] |
|---|
| 166 | :info:configure item->key[1] = g; |
|---|
| 167 | :info:configure ^ ~ |
|---|
| 168 | :info:configure ./cuddInt.h:287:5: note: array 'key' declared here |
|---|
| 169 | :info:configure DdNode *key[1]; |
|---|
| 170 | :info:configure ^ |
|---|
| 171 | :info:configure cuddLCache.c:1023:5: warning: array index of '2' indexes past the end of an array (that contains 1 elements) [-Warray-bounds] |
|---|
| 172 | :info:configure item->key[2] = h; |
|---|
| 173 | :info:configure ^ ~ |
|---|
| 174 | :info:configure ./cuddInt.h:287:5: note: array 'key' declared here |
|---|
| 175 | :info:configure DdNode *key[1]; |
|---|
| 176 | :info:configure ^ |
|---|
| 177 | :info:configure 3 warnings generated. |
|---|
| 178 | :info:configure /Developer/usr/bin/clang -c cuddLevelQ.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 179 | :info:configure /Developer/usr/bin/clang -c cuddLinear.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 180 | :info:configure /Developer/usr/bin/clang -c cuddLiteral.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 181 | :info:configure /Developer/usr/bin/clang -c cuddRef.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 182 | :info:configure /Developer/usr/bin/clang -c cuddReorder.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 183 | :info:configure /Developer/usr/bin/clang -c cuddSat.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 184 | :info:configure /Developer/usr/bin/clang -c cuddSign.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 185 | :info:configure /Developer/usr/bin/clang -c cuddSolve.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 186 | :info:configure /Developer/usr/bin/clang -c cuddSplit.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 187 | :info:configure /Developer/usr/bin/clang -c cuddSubsetHB.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 188 | :info:configure /Developer/usr/bin/clang -c cuddSubsetSP.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 189 | :info:configure /Developer/usr/bin/clang -c cuddSymmetry.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 190 | :info:configure /Developer/usr/bin/clang -c cuddTable.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 191 | :info:configure /Developer/usr/bin/clang -c cuddUtil.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 192 | :info:configure cuddUtil.c:3281:53: warning: conversion specifies type 'unsigned int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat] |
|---|
| 193 | :info:configure (void) fprintf(stderr, "\nunable to allocate %" PRIuPTR " bytes\n", size); |
|---|
| 194 | :info:configure ~~~^ ~~~~ |
|---|
| 195 | :info:configure ../include/util.h:282:22: note: instantiated from: |
|---|
| 196 | :info:configure # define PRIuPTR "u" |
|---|
| 197 | :info:configure ^ |
|---|
| 198 | :info:configure 1 warning generated. |
|---|
| 199 | :info:configure /Developer/usr/bin/clang -c cuddWindow.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 200 | :info:configure /Developer/usr/bin/clang -c cuddZddCount.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 201 | :info:configure /Developer/usr/bin/clang -c cuddZddFuncs.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 202 | :info:configure /Developer/usr/bin/clang -c cuddZddGroup.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 203 | :info:configure /Developer/usr/bin/clang -c cuddZddIsop.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 204 | :info:configure /Developer/usr/bin/clang -c cuddZddLin.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 205 | :info:configure /Developer/usr/bin/clang -c cuddZddMisc.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 206 | :info:configure /Developer/usr/bin/clang -c cuddZddPort.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 207 | :info:configure /Developer/usr/bin/clang -c cuddZddReord.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 208 | :info:configure /Developer/usr/bin/clang -c cuddZddSetop.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 209 | :info:configure /Developer/usr/bin/clang -c cuddZddSymm.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 210 | :info:configure /Developer/usr/bin/clang -c cuddZddUtil.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 211 | :info:configure ar rv libcudd.a cuddAPI.o cuddAddOp.o cuddAddFind.o cuddAddIte.o cuddAndAbs.o cuddBddOp.o cuddAnneal.o cuddApprox.o cuddBddAbs.o cuddBddCorr.o cuddBddIte.o cuddBridge.o cuddCache.o cuddCheck.o cuddClip.o cuddCof.o cuddCompose.o cuddDecomp.o cuddEssent.o cuddExact.o cuddExport.o cuddGenCof.o cuddGenetic.o cuddGroup.o cuddInit.o cuddInteract.o cuddLCache.o cuddLevelQ.o cuddLinear.o cuddLiteral.o cuddRef.o cuddReorder.o cuddSat.o cuddSign.o cuddSolve.o cuddSplit.o cuddSubsetHB.o cuddSubsetSP.o cuddSymmetry.o cuddTable.o cuddUtil.o cuddWindow.o cuddZddCount.o cuddZddFuncs.o cuddZddGroup.o cuddZddIsop.o cuddZddLin.o cuddZddMisc.o cuddZddPort.o cuddZddReord.o cuddZddSetop.o cuddZddSymm.o cuddZddUtil.o |
|---|
| 212 | :info:configure ar: creating archive libcudd.a |
|---|
| 213 | :info:configure a - cuddAPI.o |
|---|
| 214 | :info:configure a - cuddAddOp.o |
|---|
| 215 | :info:configure a - cuddAddFind.o |
|---|
| 216 | :info:configure a - cuddAddIte.o |
|---|
| 217 | :info:configure a - cuddAndAbs.o |
|---|
| 218 | :info:configure a - cuddBddOp.o |
|---|
| 219 | :info:configure a - cuddAnneal.o |
|---|
| 220 | :info:configure a - cuddApprox.o |
|---|
| 221 | :info:configure a - cuddBddAbs.o |
|---|
| 222 | :info:configure a - cuddBddCorr.o |
|---|
| 223 | :info:configure a - cuddBddIte.o |
|---|
| 224 | :info:configure a - cuddBridge.o |
|---|
| 225 | :info:configure a - cuddCache.o |
|---|
| 226 | :info:configure a - cuddCheck.o |
|---|
| 227 | :info:configure a - cuddClip.o |
|---|
| 228 | :info:configure a - cuddCof.o |
|---|
| 229 | :info:configure a - cuddCompose.o |
|---|
| 230 | :info:configure a - cuddDecomp.o |
|---|
| 231 | :info:configure a - cuddEssent.o |
|---|
| 232 | :info:configure a - cuddExact.o |
|---|
| 233 | :info:configure a - cuddExport.o |
|---|
| 234 | :info:configure a - cuddGenCof.o |
|---|
| 235 | :info:configure a - cuddGenetic.o |
|---|
| 236 | :info:configure a - cuddGroup.o |
|---|
| 237 | :info:configure a - cuddInit.o |
|---|
| 238 | :info:configure a - cuddInteract.o |
|---|
| 239 | :info:configure a - cuddLCache.o |
|---|
| 240 | :info:configure a - cuddLevelQ.o |
|---|
| 241 | :info:configure a - cuddLinear.o |
|---|
| 242 | :info:configure a - cuddLiteral.o |
|---|
| 243 | :info:configure a - cuddRef.o |
|---|
| 244 | :info:configure a - cuddReorder.o |
|---|
| 245 | :info:configure a - cuddSat.o |
|---|
| 246 | :info:configure a - cuddSign.o |
|---|
| 247 | :info:configure a - cuddSolve.o |
|---|
| 248 | :info:configure a - cuddSplit.o |
|---|
| 249 | :info:configure a - cuddSubsetHB.o |
|---|
| 250 | :info:configure a - cuddSubsetSP.o |
|---|
| 251 | :info:configure a - cuddSymmetry.o |
|---|
| 252 | :info:configure a - cuddTable.o |
|---|
| 253 | :info:configure a - cuddUtil.o |
|---|
| 254 | :info:configure a - cuddWindow.o |
|---|
| 255 | :info:configure a - cuddZddCount.o |
|---|
| 256 | :info:configure a - cuddZddFuncs.o |
|---|
| 257 | :info:configure a - cuddZddGroup.o |
|---|
| 258 | :info:configure a - cuddZddIsop.o |
|---|
| 259 | :info:configure a - cuddZddLin.o |
|---|
| 260 | :info:configure a - cuddZddMisc.o |
|---|
| 261 | :info:configure a - cuddZddPort.o |
|---|
| 262 | :info:configure a - cuddZddReord.o |
|---|
| 263 | :info:configure a - cuddZddSetop.o |
|---|
| 264 | :info:configure a - cuddZddSymm.o |
|---|
| 265 | :info:configure a - cuddZddUtil.o |
|---|
| 266 | :info:configure ranlib libcudd.a |
|---|
| 267 | :info:configure Making mtr ... |
|---|
| 268 | :info:configure /Developer/usr/bin/clang -c mtrBasic.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 269 | :info:configure /Developer/usr/bin/clang -c mtrGroup.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 270 | :info:configure ar rv libmtr.a mtrBasic.o mtrGroup.o |
|---|
| 271 | :info:configure ar: creating archive libmtr.a |
|---|
| 272 | :info:configure a - mtrBasic.o |
|---|
| 273 | :info:configure a - mtrGroup.o |
|---|
| 274 | :info:configure ranlib libmtr.a |
|---|
| 275 | :info:configure Making st ... |
|---|
| 276 | :info:configure /Developer/usr/bin/clang -c st.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 277 | :info:configure ar rv libst.a st.o |
|---|
| 278 | :info:configure ar: creating archive libst.a |
|---|
| 279 | :info:configure a - st.o |
|---|
| 280 | :info:configure ranlib libst.a |
|---|
| 281 | :info:configure Making util ... |
|---|
| 282 | :info:configure /Developer/usr/bin/clang -c cpu_time.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 283 | :info:configure /Developer/usr/bin/clang -c cpu_stats.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 284 | :info:configure /Developer/usr/bin/clang -c getopt.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 285 | :info:configure /Developer/usr/bin/clang -c safe_mem.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 286 | :info:configure safe_mem.c:45:59: warning: conversion specifies type 'unsigned int' but the argument has type 'size_t' (aka 'unsigned long') [-Wformat] |
|---|
| 287 | :info:configure (void) fprintf(stderr, "\nout of memory allocating %" PRIuPTR " bytes\n", |
|---|
| 288 | :info:configure ~~~^ |
|---|
| 289 | :info:configure ./util.h:282:22: note: instantiated from: |
|---|
| 290 | :info:configure # define PRIuPTR "u" |
|---|
| 291 | :info:configure ^ |
|---|
| 292 | :info:configure 1 warning generated. |
|---|
| 293 | :info:configure /Developer/usr/bin/clang -c strsav.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 294 | :info:configure /Developer/usr/bin/clang -c texpand.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 295 | :info:configure /Developer/usr/bin/clang -c ptime.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 296 | :info:configure /Developer/usr/bin/clang -c prtime.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 297 | :info:configure /Developer/usr/bin/clang -c pipefork.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 298 | :info:configure pipefork.c:53:12: warning: implicit declaration of function 'pipe' is invalid in C99 [-Wimplicit-function-declaration] |
|---|
| 299 | :info:configure (void) pipe(topipe); |
|---|
| 300 | :info:configure ^ |
|---|
| 301 | :info:configure pipefork.c:59:20: warning: implicit declaration of function 'vfork' is invalid in C99 [-Wimplicit-function-declaration] |
|---|
| 302 | :info:configure if ((forkpid = vfork()) == 0) { |
|---|
| 303 | :info:configure ^ |
|---|
| 304 | :info:configure pipefork.c:62:9: warning: implicit declaration of function 'dup2' is invalid in C99 [-Wimplicit-function-declaration] |
|---|
| 305 | :info:configure (void) dup2(topipe[0], fileno(stdin)); |
|---|
| 306 | :info:configure ^ |
|---|
| 307 | :info:configure pipefork.c:65:9: warning: implicit declaration of function 'close' is invalid in C99 [-Wimplicit-function-declaration] |
|---|
| 308 | :info:configure (void) close(topipe[0]); |
|---|
| 309 | :info:configure ^ |
|---|
| 310 | :info:configure pipefork.c:70:9: warning: implicit declaration of function 'execvp' is invalid in C99 [-Wimplicit-function-declaration] |
|---|
| 311 | :info:configure (void) execvp(argv[0], argv); |
|---|
| 312 | :info:configure ^ |
|---|
| 313 | :info:configure pipefork.c:73:9: warning: implicitly declaring C library function '_exit' with type 'void (int) __attribute__((noreturn))' |
|---|
| 314 | :info:configure (void) _exit(1); |
|---|
| 315 | :info:configure ^ |
|---|
| 316 | :info:configure pipefork.c:73:9: note: please include the header <unistd.h> or explicitly provide a declaration for '_exit' |
|---|
| 317 | :info:configure pipefork.c:83:21: warning: incompatible pointer types passing 'union wait *' to parameter of type 'int *' [-Wincompatible-pointer-types] |
|---|
| 318 | :info:configure waitPid = wait3(&status, WNOHANG, NULL); |
|---|
| 319 | :info:configure ^~~~~~~ |
|---|
| 320 | :info:configure /usr/include/sys/wait.h:261:18: note: passing argument to parameter here |
|---|
| 321 | :info:configure pid_t wait3(int *, int, struct rusage *); |
|---|
| 322 | :info:configure ^ |
|---|
| 323 | :info:configure 7 warnings generated. |
|---|
| 324 | :info:configure /Developer/usr/bin/clang -c pathsearch.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 325 | :info:configure pathsearch.c:78:10: warning: implicit declaration of function 'access' is invalid in C99 [-Wimplicit-function-declaration] |
|---|
| 326 | :info:configure return access(filename, access_mode) == 0; |
|---|
| 327 | :info:configure ^ |
|---|
| 328 | :info:configure 1 warning generated. |
|---|
| 329 | :info:configure /Developer/usr/bin/clang -c stub.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 330 | :info:configure /Developer/usr/bin/clang -c tmpfile.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 331 | :info:configure tmpfile.c:31:12: warning: implicit declaration of function 'unlink' is invalid in C99 [-Wimplicit-function-declaration] |
|---|
| 332 | :info:configure (void) unlink(filename); |
|---|
| 333 | :info:configure ^ |
|---|
| 334 | :info:configure 1 warning generated. |
|---|
| 335 | :info:configure /Developer/usr/bin/clang -c datalimit.c -I../include -DUNIX -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 336 | :info:configure ar rv libutil.a cpu_time.o cpu_stats.o getopt.o safe_mem.o strsav.o texpand.o ptime.o prtime.o pipefork.o pathsearch.o stub.o tmpfile.o datalimit.o |
|---|
| 337 | :info:configure ar: creating archive libutil.a |
|---|
| 338 | :info:configure a - cpu_time.o |
|---|
| 339 | :info:configure a - cpu_stats.o |
|---|
| 340 | :info:configure a - getopt.o |
|---|
| 341 | :info:configure a - safe_mem.o |
|---|
| 342 | :info:configure a - strsav.o |
|---|
| 343 | :info:configure a - texpand.o |
|---|
| 344 | :info:configure a - ptime.o |
|---|
| 345 | :info:configure a - prtime.o |
|---|
| 346 | :info:configure a - pipefork.o |
|---|
| 347 | :info:configure a - pathsearch.o |
|---|
| 348 | :info:configure a - stub.o |
|---|
| 349 | :info:configure a - tmpfile.o |
|---|
| 350 | :info:configure a - datalimit.o |
|---|
| 351 | :info:configure ranlib libutil.a |
|---|
| 352 | :info:configure Making epd ... |
|---|
| 353 | :info:configure /Developer/usr/bin/clang -c epd.c -I../include -arch x86_64 -DHAVE_IEEE_754 -DBSD -D__MAC_OS_X__ -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4 |
|---|
| 354 | :info:configure ar rv libepd.a epd.o |
|---|
| 355 | :info:configure ar: creating archive libepd.a |
|---|
| 356 | :info:configure a - epd.o |
|---|
| 357 | :info:configure ranlib libepd.a |
|---|
| 358 | :info:configure sh ./setup.sh |
|---|
| 359 | :info:configure Setting up cudd... Done |
|---|
| 360 | :info:configure patching file minisat/core/depend.mk |
|---|
| 361 | :info:configure patching file minisat/core/Solver.C |
|---|
| 362 | :info:configure patching file minisat/core/Solver_C.C |
|---|
| 363 | :info:configure patching file minisat/core/Solver_C.h |
|---|
| 364 | :info:configure patching file minisat/core/Solver.h |
|---|
| 365 | :info:configure patching file minisat/Makefile |
|---|
| 366 | :info:configure patching file minisat/mtl/template.mk |
|---|
| 367 | :info:configure patching file minisat/simp/Makefile |
|---|
| 368 | :info:configure patching file minisat/simp/SimpSolver.C |
|---|
| 369 | :info:configure patching file minisat/simp/Solver_C.C |
|---|
| 370 | :info:configure patching file minisat/simp/Solver_C.h |
|---|
| 371 | :info:configure |
|---|
| 372 | :info:configure Building minisat using <make lib> ... |
|---|
| 373 | :info:configure cd simp && make lib && ranlib libminisat.a |
|---|
| 374 | :info:configure Making dependencies ... |
|---|
| 375 | :info:configure clang: warning: argument unused during compilation: '-ffloat-store' |
|---|
| 376 | :info:configure Compiling: SimpSolver.or ( SimpSolver.C ) |
|---|
| 377 | :info:configure clang: warning: argument unused during compilation: '-ffloat-store' |
|---|
| 378 | :info:configure SimpSolver.C:40:24: error: use of undeclared identifier 'Clause_new' |
|---|
| 379 | :info:configure bwdsub_tmpunit = Clause_new(dummy); |
|---|
| 380 | :info:configure ^ |
|---|
| 381 | :info:configure 1 error generated. |
|---|
| 382 | :info:configure make[1]: *** [SimpSolver.or] Error 1 |
|---|
| 383 | :info:configure make: *** [simp/libminisat.a] Error 2 |
|---|
| 384 | :info:configure |
|---|
| 385 | :debug:configure Executing org.macports.configure (nusmv) |
|---|
| 386 | :debug:configure Environment: CPATH='/opt/local/include' CFLAGS='-pipe -O2 -arch x86_64' CPPFLAGS='-I/opt/local/include' CXXFLAGS='-pipe -O2 -arch x86_64' LIBRARY_PATH='/opt/local/lib' MACOSX_DEPLOYMENT_TARGET='10.7' CXX='/Developer/usr/bin/clang++' CC_PRINT_OPTIONS_FILE='/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/.CC_PRINT_OPTIONS' F90FLAGS='-pipe -O2 -m64' LDFLAGS='-L/opt/local/lib -arch x86_64' OBJC='/Developer/usr/bin/clang' FCFLAGS='-pipe -O2 -m64' INSTALL='/usr/bin/install -c' OBJCFLAGS='-pipe -O2 -arch x86_64' FFLAGS='-pipe -O2 -m64' CC_PRINT_OPTIONS='YES' CC='/Developer/usr/bin/clang' |
|---|
| 387 | :debug:configure Assembled command: 'cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/nusmv" && ./configure --prefix=/opt/local --with-expat-libdir=/opt/local/lib --with-expat-incdir=/opt/local/include --disable-zchaff --enable-minisat --with-minisat-incdir=/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat --with-minisat-libdir=/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat' |
|---|
| 388 | :debug:configure Executing command line: cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/nusmv" && ./configure --prefix=/opt/local --with-expat-libdir=/opt/local/lib --with-expat-incdir=/opt/local/include --disable-zchaff --enable-minisat --with-minisat-incdir=/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat --with-minisat-libdir=/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat |
|---|
| 389 | :info:configure checking for a BSD-compatible install... /usr/bin/install -c |
|---|
| 390 | :info:configure checking whether build environment is sane... yes |
|---|
| 391 | :info:configure checking for a thread-safe mkdir -p... helpers/install-sh -c -d |
|---|
| 392 | :info:configure checking for gawk... no |
|---|
| 393 | :info:configure checking for mawk... no |
|---|
| 394 | :info:configure checking for nawk... no |
|---|
| 395 | :info:configure checking for awk... awk |
|---|
| 396 | :info:configure checking whether make sets $(MAKE)... yes |
|---|
| 397 | :info:configure checking how to create a ustar tar archive... gnutar |
|---|
| 398 | :info:configure checking build system type... x86_64-apple-darwin11.2.0 |
|---|
| 399 | :info:configure checking host system type... x86_64-apple-darwin11.2.0 |
|---|
| 400 | :info:configure checking for style of include used by make... GNU |
|---|
| 401 | :info:configure checking for gcc... /Developer/usr/bin/clang |
|---|
| 402 | :info:configure checking for C compiler default output file name... a.out |
|---|
| 403 | :info:configure checking whether the C compiler works... yes |
|---|
| 404 | :info:configure checking whether we are cross compiling... no |
|---|
| 405 | :info:configure checking for suffix of executables... |
|---|
| 406 | :info:configure checking for suffix of object files... o |
|---|
| 407 | :info:configure checking whether we are using the GNU C compiler... yes |
|---|
| 408 | :info:configure checking whether /Developer/usr/bin/clang accepts -g... yes |
|---|
| 409 | :info:configure checking for /Developer/usr/bin/clang option to accept ISO C89... none needed |
|---|
| 410 | :info:configure checking dependency style of /Developer/usr/bin/clang... gcc3 |
|---|
| 411 | :info:configure checking how to run the C preprocessor... /Developer/usr/bin/clang -E |
|---|
| 412 | :info:configure checking for grep that handles long lines and -e... /usr/bin/grep |
|---|
| 413 | :info:configure checking for egrep... /usr/bin/grep -E |
|---|
| 414 | :info:configure checking for ANSI C header files... yes |
|---|
| 415 | :info:configure checking for sys/types.h... yes |
|---|
| 416 | :info:configure checking for sys/stat.h... yes |
|---|
| 417 | :info:configure checking for stdlib.h... yes |
|---|
| 418 | :info:configure checking for string.h... yes |
|---|
| 419 | :info:configure checking for memory.h... yes |
|---|
| 420 | :info:configure checking for strings.h... yes |
|---|
| 421 | :info:configure checking for inttypes.h... yes |
|---|
| 422 | :info:configure checking for stdint.h... yes |
|---|
| 423 | :info:configure checking for unistd.h... yes |
|---|
| 424 | :info:configure checking for gcc... (cached) /Developer/usr/bin/clang |
|---|
| 425 | :info:configure checking whether we are using the GNU C compiler... (cached) yes |
|---|
| 426 | :info:configure checking whether /Developer/usr/bin/clang accepts -g... (cached) yes |
|---|
| 427 | :info:configure checking for /Developer/usr/bin/clang option to accept ISO C89... (cached) none needed |
|---|
| 428 | :info:configure checking dependency style of /Developer/usr/bin/clang... (cached) gcc3 |
|---|
| 429 | :info:configure checking whether /Developer/usr/bin/clang and cc understand -c and -o together... yes |
|---|
| 430 | :info:configure checking whether the C compiler (/Developer/usr/bin/clang) accepts noreturn attribute... yes |
|---|
| 431 | :info:configure checking how to run the C preprocessor... /Developer/usr/bin/clang -E |
|---|
| 432 | :info:configure checking whether we are using the GNU C++ compiler... yes |
|---|
| 433 | :info:configure checking whether /Developer/usr/bin/clang++ accepts -g... yes |
|---|
| 434 | :info:configure checking dependency style of /Developer/usr/bin/clang++... gcc3 |
|---|
| 435 | :info:configure checking how to run the C++ preprocessor... /Developer/usr/bin/clang++ -E |
|---|
| 436 | :info:configure checking for a BSD-compatible install... /usr/bin/install -c |
|---|
| 437 | :info:configure checking whether ln -s works... yes |
|---|
| 438 | :info:configure checking whether make sets $(MAKE)... (cached) yes |
|---|
| 439 | :info:configure checking for a sed that does not truncate output... /usr/bin/sed |
|---|
| 440 | :info:configure checking for fgrep... /usr/bin/grep -F |
|---|
| 441 | :info:configure checking for ld used by /Developer/usr/bin/clang... /Developer/usr/bin/ld |
|---|
| 442 | :info:configure checking if the linker (/Developer/usr/bin/ld) is GNU ld... no |
|---|
| 443 | :info:configure checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm |
|---|
| 444 | :info:configure checking the name lister (/usr/bin/nm) interface... BSD nm |
|---|
| 445 | :info:configure checking the maximum length of command line arguments... 196608 |
|---|
| 446 | :info:configure checking whether the shell understands some XSI constructs... yes |
|---|
| 447 | :info:configure checking whether the shell understands "+="... yes |
|---|
| 448 | :info:configure checking for /Developer/usr/bin/ld option to reload object files... -r |
|---|
| 449 | :info:configure checking for objdump... no |
|---|
| 450 | :info:configure checking how to recognize dependent libraries... pass_all |
|---|
| 451 | :info:configure checking for ar... ar |
|---|
| 452 | :info:configure checking for strip... strip |
|---|
| 453 | :info:configure checking for ranlib... ranlib |
|---|
| 454 | :info:configure checking command to parse /usr/bin/nm output from /Developer/usr/bin/clang object... ok |
|---|
| 455 | :info:configure checking for dsymutil... dsymutil |
|---|
| 456 | :info:configure checking for nmedit... nmedit |
|---|
| 457 | :info:configure checking for lipo... lipo |
|---|
| 458 | :info:configure checking for otool... otool |
|---|
| 459 | :info:configure checking for otool64... no |
|---|
| 460 | :info:configure checking for -single_module linker flag... yes |
|---|
| 461 | :info:configure checking for -exported_symbols_list linker flag... yes |
|---|
| 462 | :info:configure checking for dlfcn.h... yes |
|---|
| 463 | :info:configure checking whether we are using the GNU C++ compiler... (cached) yes |
|---|
| 464 | :info:configure checking whether /Developer/usr/bin/clang++ accepts -g... (cached) yes |
|---|
| 465 | :info:configure checking dependency style of /Developer/usr/bin/clang++... (cached) gcc3 |
|---|
| 466 | :info:configure checking how to run the C++ preprocessor... /Developer/usr/bin/clang++ -E |
|---|
| 467 | :info:configure checking for objdir... .libs |
|---|
| 468 | :info:configure checking if /Developer/usr/bin/clang supports -fno-rtti -fno-exceptions... yes |
|---|
| 469 | :info:configure checking for /Developer/usr/bin/clang option to produce PIC... -fno-common -DPIC |
|---|
| 470 | :info:configure checking if /Developer/usr/bin/clang PIC flag -fno-common -DPIC works... yes |
|---|
| 471 | :info:configure checking if /Developer/usr/bin/clang static flag -static works... no |
|---|
| 472 | :info:configure checking if /Developer/usr/bin/clang supports -c -o file.o... yes |
|---|
| 473 | :info:configure checking if /Developer/usr/bin/clang supports -c -o file.o... (cached) yes |
|---|
| 474 | :info:configure checking whether the /Developer/usr/bin/clang linker (/Developer/usr/bin/ld) supports shared libraries... yes |
|---|
| 475 | :info:configure checking dynamic linker characteristics... darwin11.2.0 dyld |
|---|
| 476 | :info:configure checking how to hardcode library paths into programs... immediate |
|---|
| 477 | :info:configure checking whether stripping libraries is possible... yes |
|---|
| 478 | :info:configure checking if libtool supports shared libraries... yes |
|---|
| 479 | :info:configure checking whether to build shared libraries... no |
|---|
| 480 | :info:configure checking whether to build static libraries... yes |
|---|
| 481 | :info:configure checking for ld used by /Developer/usr/bin/clang++... /Developer/usr/bin/ld |
|---|
| 482 | :info:configure checking if the linker (/Developer/usr/bin/ld) is GNU ld... no |
|---|
| 483 | :info:configure checking whether the /Developer/usr/bin/clang++ linker (/Developer/usr/bin/ld) supports shared libraries... yes |
|---|
| 484 | :info:configure checking for /Developer/usr/bin/clang++ option to produce PIC... -fno-common -DPIC |
|---|
| 485 | :info:configure checking if /Developer/usr/bin/clang++ PIC flag -fno-common -DPIC works... yes |
|---|
| 486 | :info:configure checking if /Developer/usr/bin/clang++ static flag -static works... no |
|---|
| 487 | :info:configure checking if /Developer/usr/bin/clang++ supports -c -o file.o... yes |
|---|
| 488 | :info:configure checking if /Developer/usr/bin/clang++ supports -c -o file.o... (cached) yes |
|---|
| 489 | :info:configure checking whether the /Developer/usr/bin/clang++ linker (/Developer/usr/bin/ld) supports shared libraries... yes |
|---|
| 490 | :info:configure checking dynamic linker characteristics... darwin11.2.0 dyld |
|---|
| 491 | :info:configure checking how to hardcode library paths into programs... immediate |
|---|
| 492 | :info:configure checking for bison... bison -y |
|---|
| 493 | :info:configure checking for flex... flex |
|---|
| 494 | :info:configure checking lex output file root... lex.yy |
|---|
| 495 | :info:configure checking lex library... -lfl |
|---|
| 496 | :info:configure checking whether yytext is a pointer... yes |
|---|
| 497 | :info:configure checking for bison... yes |
|---|
| 498 | :info:configure checking for perl... /usr/bin/perl |
|---|
| 499 | :info:configure checking for lynx... no |
|---|
| 500 | :info:configure checking for links... no |
|---|
| 501 | :info:configure checking for latex... no |
|---|
| 502 | :info:configure checking for pdflatex... no |
|---|
| 503 | :info:configure checking for epstopdf... no |
|---|
| 504 | :info:configure checking for pdftops... no |
|---|
| 505 | :info:configure checking for strip... (cached) strip |
|---|
| 506 | :info:configure checking for /Developer/usr/bin/clang option to accept ISO C99... none needed |
|---|
| 507 | :info:configure checking for /Developer/usr/bin/clang option to accept ISO Standard C... (cached) none needed |
|---|
| 508 | :info:configure checking for an ANSI C99-conforming __func__... yes |
|---|
| 509 | :info:configure checking size of void *... 8 |
|---|
| 510 | :info:configure checking size of int... 4 |
|---|
| 511 | :info:configure checking size of long... 8 |
|---|
| 512 | :info:configure checking size of long long... 8 |
|---|
| 513 | :info:configure checking for exp in -lm... yes |
|---|
| 514 | :info:configure checking for main in -lncurses... yes |
|---|
| 515 | :info:configure checking for readline in -lreadline... yes |
|---|
| 516 | :info:configure checking for XML_ParserCreate in -lexpat... yes |
|---|
| 517 | :info:configure checking for util_cpu_time in -lcudd_util... yes |
|---|
| 518 | :info:configure checking for Mtr_AllocNode in -lmtr... yes |
|---|
| 519 | :info:configure checking for st_init_table in -lst... yes |
|---|
| 520 | :info:configure checking for Cudd_Ref in -lcudd... yes |
|---|
| 521 | :info:configure configure: error: Header file "Solver_C.h" has not been found in "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat". |
|---|
| 522 | :info:configure See configure option --with-minisat-incdir to specify where the header file is located. |
|---|
| 523 | :info:configure shell command " cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/nusmv" && ./configure --prefix=/opt/local --with-expat-libdir=/opt/local/lib --with-expat-incdir=/opt/local/include --disable-zchaff --enable-minisat --with-minisat-incdir=/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat --with-minisat-libdir=/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.5.4/MiniSat/minisat " returned error 1 |
|---|
| 524 | :error:configure Target org.macports.configure returned: configure failure: shell command failed (see log for details) |
|---|
| 525 | :debug:configure Backtrace: configure failure: shell command failed (see log for details) |
|---|
| 526 | while executing |
|---|
| 527 | "$procedure $targetname" |
|---|
| 528 | :info:configure Warning: the following items did not execute (for nusmv): org.macports.activate org.macports.configure org.macports.build org.macports.destroot org.macports.install |
|---|
| 529 | :notice:configure Log for nusmv is at: /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_nusmv/nusmv/main.log |
|---|
