Comment 3 for bug 1256305

To installing pyDBM on OSX I had to modify the UDBM header:

vim /opt/install/uppaal/include/dbm/Valuation.h
#modify line 70: copyFrom(original);
            base::pointer_t<S>::copyFrom(original);

Otherwise I get the following error message:

/usr/bin/clang -DNDEBUG -g -fwrapv -O3 -Wall -Wstrict-prototypes -I/opt/install/uppaal/include -I/opt/install/uppaal/include/dbm -I/opt/install/uppaal/include/base -I/usr/local/uppaal/include -I/opt/local/Library/Frameworks/Python.framework/Versions/2.7/include/python2.7 -c udbm_int_wrap.cpp -o build/temp.macosx-10.9-x86_64-2.7/udbm_int_wrap.o -fpermissive
clang: warning: argument unused during compilation: '-fpermissive'
In file included from udbm_int_wrap.cpp:3050:
In file included from ./udbm_int.h:21:
In file included from /opt/install/uppaal/include/dbm/fed.h:1711:
/opt/install/uppaal/include/dbm/inline_fed.h:1523:19: warning: cast to 'dbm::idbm_t *' from smaller integer type 'unsigned int' [-Wint-to-pointer-cast]
        idbmPtr = (idbm_t*) ((dim << 1) | 1);
                  ^
In file included from udbm_int_wrap.cpp:3050:
In file included from ./udbm_int.h:21:
In file included from /opt/install/uppaal/include/dbm/fed.h:44:
/opt/install/uppaal/include/dbm/Valuation.h:70:13: error: use of undeclared identifier 'copyFrom'
            copyFrom(original);
            ^
            this->
./udbm_int.h:62:7: note: in instantiation of member function 'dbm::Valuation<int>::Valuation' requested here
class IntClockValuation {
      ^
/opt/install/uppaal/include/base/pointer.h:145:14: note: must qualify identifier to find this declaration in dependent base class
        void copyFrom(const pointer_t<T> &src)
             ^
1 warning and 1 error generated.
error: command '/usr/bin/clang' failed with exit status 1