[MLton-devel] rpm dependencies and download page

[Stephen Weeks]

> but I would say that any official release should really stick to a
> stock Red Hat 7.3.

If we build on this, will it work on 7.*?

> I have a bunch around here, so if you want I can easily make them.

Thanks for the offer, but I have scripts here that build everything,
so I'd like to set things up to do it here.  I think that as long as I
put /usr/bin in front of /usr/local/bin on my path I should be OK.

> I also have Red Hat 6.* machines so I could make RPMs for that as
> well.

I may take you up on that.

> As to what to include for requirements, in addition to the stock Red Hat that
> is sufficient, I would include the output of
>     rpm -q --requires ???
> where ??? is the RPM (if it is installed) or
>     rpm -qp --requires ???
> where ??? is the RPM file (if it is not installed).

OK.


-------------------------------------------------------
This sf.net email is sponsored by: Dice - The leading online job board
for high-tech professionals. Search and apply for tech jobs today!
http://seeker.dice.com/seeker.epl?rel_code=31
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel