consequences of moving ozmake to stdlib

Kevin Glynn glynn at info.ucl.ac.be
Tue Feb 17 18:50:08 CET 2004



Boriss has built rpms for mandrake 9.1, and I have taken his source
rpms and rebuilt for mandrake 9.2.  No problems to report.

I notice that the docs rpm unloads to /usr/lib/mozart/doc. Is this
expected in a rpm based system?  How is the user supposed to find
them? 

cheers
k



Denys Duchier writes:
 > Kevin Glynn <glynn at info.ucl.ac.be> writes:
 > 
 > > Let us know when you are ready for this testing. Boriss can test on
 > > Mandrake 9.1 and I can try a windows build.
 > 
 > Man, what a pain... this took way longer than I expected.
 > I have a first cut at the new regime and it works well enough that
 > binary rpms can be built on my machine (no idea if they work - I can't
 > try them).
 > 
 > The stdlib has acquired just enough configure and Makefile support to
 > allow it to fit easily in an old-fashioned configure+make scenario.  I
 > have also modified it to permit building in a directory different from
 > the source directory.
 > 
 > INSTALLING FROM SOURCE
 > 
 > If you build and install from sources, the recipe should be something
 > like this:
 > 
 > cvs get mozart
 > mkdir build
 > cd build
 > ../mozart/configure --prefix=$PREFIX
 > make
 > make install
 > 
 > cvs get mozart-stdlib
 > mkdir build-stdlib
 > cd build-stdlib
 > ../mozart-stdlib/configure --prefix=$PREFIX
 > make
 > make install
 > 
 > BUILDING RPMS
 > 
 > The recipe for building binary rpms should be something like this:
 > 
 > cvs get mozart
 > cvs get mozart-stdlib
 > mkdir build
 > cd build
 > ../mozart/configure --prefix=$PREFIX --with-stdlib=../mozart-stdlib --with-documents=all
 > make
 > make install
 > make src
 > make doc
 > make std
 > sudo ../mozart/misc/create-rpm $PWD $PWD
 > sudo rpmbuild --rebuild *.src.rpm
 > 
 > Cheers,
 > 
 > -- 
 > Dr. Denys Duchier
 > Équipe Calligramme
 > LORIA, Nancy, FRANCE
 > _______________________________________________
 > mozart-hackers mailing list
 > mozart-hackers at mozart-oz.org
 > http://www.mozart-oz.org/mailman/listinfo/mozart-hackers
 > 




More information about the mozart-hackers mailing list