University of Cyprus
Blood donation at the University of CyprusΑιμοδοσία στο Πανεπιστήμιο Κύπρου
Η Υπηρεσία Σπουδών και Φοιτητικής Μέριμνας του Πανεπιστημίου Κύπρου, σε συνεργασία με την Τράπεζα Αίματος του Γενικού Νοσοκομείου Λευκωσίας, σας προσκαλούν στην επόμενη αιμοδοσία που θα πραγματοποιηθεί την Πέμπτη, 24 Νοεμβρίου 2011 από τις 10:00 π.μ. – 5:00 μ.μ. στο Ισόγειο του Κτιρίου Κοινωνικών Δραστηριοτήτων στην Πανεπιστημιούπολη.
Όσοι από εσάς έχουν προσφέρει αίμα τον περασμένο Μάρτιο δικαιούνται να δώσουν αίμα τώρα, αφού είναι ασφαλές να προσφέρουμε αίμα μετά από 4 μήνες.
Για τυχόν πληροφορίες, παρακαλώ επικοινωνείτε με τη Μάρθα Ιωάννου, Υπεύθυνη Λειτουργό Γραφείου Φοιτητικής Ζωής, τηλ. 22 894066, [email protected].
Ubuntu: How to compile STAN SPG Planning System (http://planning.cis.strath.ac.uk/STAN/) on Ubuntu 11.10
Recently we tried to compile the STAN SPG Planning System (http://planning.cis.strath.ac.uk/STAN/) under Ubuntu 11.10 Oneiric Ocelot which ended up in a failure.
After reviewing the source code of version 3 (http://planning.cis.strath.ac.uk/code/) we found out that there were many changes needed to be done that had to do with the age of the code itself. We believe that with an OS from1999 and the repsective g++ libraries there should be no problem compiling this application but who has one anyway ? (From the README file: “The code has been built and tested using Linux and UNIX (SunOS) with the g++ compiler.” )
Solution:
We realized that most of the errors are pretty much the same ones and had to do with C++ syntax. Following a synopsis of the changes we did:
- Replaced
#include <stream.h>
with
#include <iostream> using namespace std;
Note on this, be sure to put using namespace std; after the rest of the includes to avoid conflicts and other issues that might arise.
- Replaced
#include <stream.h>
with
#include <fstream>
- Replaced
#include <new.h>
with
#include <new>
- Added
#include <cstring> #include <stdlib.h>
wherever there was a call for string manipulation like (strcmp(),strlen(),strcpy(),..) or whenever there were commands like exit().
- Replaced array assignments like:
exvec = pl.exvec;
to
for(int i = 0;i<EXVECSIZE;i++) { exvec[i] = pl.exvec[i]; };
The ranges of these arrays we were able to find them from the respective .h files.
- In the makefile, we changed:
pddl.yacc.tab.c: alldefs.h pddl.yacc lex.yy.c bison pddl.yacc
to
pddl.yacc.tab.c: alldefs.h pddl.yacc lex.yy.c bison pddl.yacc -o pddl.yacc.tab.c
Or else the make will fail as it will not find the file pddl.yacc.tab.c.
In the next section you will find all changes we did to the files extensively (Hopefully we did not forget any or mess them up). The format is as follows (the changes do not necessarily imply that all changes should happen at the same place in file):
in <FILE> line that was changed/deleted line that was changed/deleted - line that was added line that was added line that was added
- in Makefile
pddl.yacc.tab.c: alldefs.h pddl.yacc lex.yy.c
bison pddl.yacc
–
pddl.yacc.tab.c: alldefs.h pddl.yacc lex.yy.c
bison pddl.yacc -o pddl.yacc.tab.c - in BasicTim.h
#include <stream.h>
–
#include <iostream>
using namespace std; // make sure it goes right after the includes (I believe it affects stdio.h) - in SymTab.cc
#include <stream.h>
–
#include <iostream>
#include <cstring>
#include <stdlib.h>
using namespace std; - in BasicTim.cc
#include <fstream.h>
–
#include <fstream> - in TimInterface.cc
#include <fstream.h>
–
#include <fstream> - in globals.h
#include <stream.h>
#include <fstream.h>
–
#include <fstream>
#include <iostream>
using namespace std; - in stan.h
#include <stream.h>
–
#include <iostream>
using namespace std; - in facts.h
#include “stream.h”
–
#include <iostream>
#include <cstring>
using namespace std; - in facts.cc
#include <stream.h>
–
#include <iostream>
using namespace std; - in facts.cc
exvec = pl.exvec;
–
for(int i = 0;i<EXVECSIZE;i++) {
exvec[i] = pl.exvec[i];
}; - in facts.cc
domination = pl.domination;
–
for(int i = 0;i<EXVECSIZE;i++) {
domination[i] = pl.domination[i];
}; - in actions.cc
exvec = pl.exvec;
–
for(int i = 0;i<EXVECSIZE;i++) {
exvec[i] = pl.exvec[i];
}; - in instantiation.cc
#include <stream.h>
–
#include <iostream>
using namespace std; - in candidates.h
#include <stream.h>
–
#include <iostream>
using namespace std; - in main.cc
#include <stream.h>
#include <fstream.h>
#include <new.h>
–
#include <iostream>
#include <fstream>
#include <new>
#include <stdlib.h>
using namespace std;
Soon we will add the modified version of the source code online that should be able to compile by just issuing make stan.
Ubuntu: How to compile PrecoSAT v.570 under ubuntu 11.10
By downloading PrecoSAT from http://fmv.jku.at/precosat/ and trying to install it on Ubuntu 11.10 32-bit (Oneiric Ocelot) by:
- Decompressing the files
- and calling ./configure && make
I got the following error at make:
g++ -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO -c precomain.cc In file included from precomain.cc:23:0: precosat.hh:164:31: error: ‘ptrdiff_t’ has not been declared precosat.hh:270:13: error: ‘ptrdiff_t’ has not been declared make: *** [precomain.o] Error 1
which can be resolved by adding
#include <cstddef>
at the includes in the file precosat.hh