building UBCSAT on linux.cs.uwaterloo.ca

[Ilias S. Kotsireas]

Hi,

i tried to build UBCSAT on linux.cs.uwaterloo.ca at the University of
Waterloo as follows:

make -f Makefile

and got several errors:

src/ubcsat-reports.c:1020:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1020:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c: In function 'ReportBestStepPrint':
src/ubcsat-reports.c:1051:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1051:7: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1051:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1051:7: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1065:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1065:7: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1065:7: warning: format '%u' expects argument of type
'unsigned int', but argument 5 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1065:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1065:7: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1065:7: warning: format '%u' expects argument of type
'unsigned int', but argument 5 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c: In function 'ReportTrajBestLMPostStep':
src/ubcsat-reports.c:1093:9: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1093:9: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1093:9: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1093:9: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1098:9: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1098:9: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1098:9: warning: format '%u' expects argument of type
'unsigned int', but argument 5 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1098:9: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1098:9: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1098:9: warning: format '%u' expects argument of type
'unsigned int', but argument 5 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c: In function 'ReportTrajBestLMPostRun':
src/ubcsat-reports.c:1109:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1109:7: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1109:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1109:7: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1114:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1114:7: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1114:7: warning: format '%u' expects argument of type
'unsigned int', but argument 5 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1114:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1114:7: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1114:7: warning: format '%u' expects argument of type
'unsigned int', but argument 5 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c: In function 'ReportSolutionPrint':
src/ubcsat-reports.c:1129:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1129:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c: In function 'ReportUnsatClausesPrint':
src/ubcsat-reports.c:1177:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1177:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c: In function 'ReportFalseHistPrint':
src/ubcsat-reports.c:1200:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1200:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1203:3: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1203:3: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1205:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1205:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c: In function 'ReportDistancePrint':
src/ubcsat-reports.c:1231:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1231:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1232:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1232:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1234:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1234:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1239:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1239:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c: In function 'ReportDistHistPrint':
src/ubcsat-reports.c:1256:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1256:7: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1259:3: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1259:3: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1261:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1261:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c: In function 'ReportFlipCountsPrint':
src/ubcsat-reports.c:1276:3: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1276:3: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1278:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1278:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c: In function 'ReportBiasCountsPrint':
src/ubcsat-reports.c:1293:3: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1293:3: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1295:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1295:5: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1295:5: warning: format '%u' expects argument of type
'unsigned int', but argument 3 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c:1295:5: warning: format '%u' expects argument of type
'unsigned int', but argument 4 has type 'long unsigned int' [-Wformat]
src/ubcsat-reports.c: In function 'ReportUnsatCountsPrint':
src/ubcsat-reports.c:1319:3: warning: format '%u' e

any help would he greatly appreciated.

i did look at http://ubcsat.dtompkins.com/quick-start
before writing this e-mail.

Ilias

[Dave Tompkins]

Well, most of those look like warnings...

but this is 64 vs. 32-bit issue.

This should be fixed in the latest 'beta' release.

also, I'm on the Waterloo campus now if you need any additional help.

-Dave

        Ilias

--
You received this message because you are subscribed to the Google Groups "ubcsat" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ubcsat+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.