Fri, 10 Aug 2001 08:22:43 -0700 (PDT)
> 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
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.
make: *** No rule to make target `distclean'. Stop.
make: [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)
+ echo '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