rpmbuild

[Matthew Fluet]

> OK.  I've checking in a make-rpms that builds stuff in src/rpms (where src is
> wherever the MLton sources are) and stores the rpms there.  I put the ss'es back
> in the script, because the cvs checkouts don't work as root.  Anyways, for now,
> I'll settle for this script working for me (it does) and Matthew (check it out
> when you get in).

Well, I got further than I did last time:

+ rpm --quiet -ba --clean
/home/mfluet/mlton/mlton/src/rpms/SPECS/mlton.spec
MLton starting
...
MLton finished in 373.00 + 151.16 (29% GC)
516.75user 7.46system 8:58.71elapsed 97%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (46992major+562084minor)pagefaults 0swaps
Configuring for a i686-unknown-linux host.
mkdir /home/mfluet/mlton/mlton/src/rpms/BUILD/mlton-20010810/src/runtime/gmp-2.0.2/../gmp-stuff/include
mkdir /home/mfluet/mlton/mlton/src/rpms/BUILD/mlton-20010810/src/runtime/gmp-2.0.2/../gmp-stuff/lib
make[4]: *** No rule to make target `distclean'.  Stop.
make[3]: [distclean] Error 2 (ignored)
<< keeps going, makes mllex, mlyacc, mlprof; then some TEX stuff >>
rm: cannot unlink `/var/tmp/mlton/mlton/usr/share/doc/mlton-20010810/CHANGES': Permission denied
rm: cannot unlink `/var/tmp/mlton/mlton/usr/share/doc/mlton-20010810/cmcat.sml': Permission denied
<< tons more of them >>
rm: cannot remove directory `/var/tmp/mlton/mlton/usr': Permission denied
rm: cannot remove directory `/var/tmp/mlton/mlton': Permission denied
error: Bad exit status from /var/tmp/rpm-tmp.5425 (%install)
    Bad exit status from /var/tmp/rpm-tmp.5425 (%install)

real    11m13.369s
user    10m26.660s
sys     0m21.020s
+ echo 'Cleaning up'
Cleaning up
+ cd /home/mfluet/mlton/mlton/src/rpms
+ cp -p RPMS/i386/mlton-20010810-1.i386.rpm SRPMS/mlton-20010810-1.src.rpm .
cp: cannot stat `RPMS/i386/mlton-20010810-1.i386.rpm': No such file or directory
cp: cannot stat `SRPMS/mlton-20010810-1.src.rpm': No such file or directory
+ rm -rf BUILD RPMS/i386 SOURCES SPECS SRPMS
+ '[' no = yes ']'
+ echo Success
Success