Search Criteria
Package Details: mlton-git r6685.728e2a5-1
| Git Clone URL: | https://aur.archlinux.org/mlton-git.git (read-only, click to copy) |
|---|---|
| Package Base: | mlton-git |
| Description: | Whole-program, optimizing Standard ML compiler |
| Upstream URL: | http://www.mlton.org/ |
| Licenses: | |
| Conflicts: | |
| Provides: | |
| Submitter: | rmanne |
| Maintainer: | rmanne |
| Last Packager: | rmanne |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2015-09-27 17:11 |
| Last Updated: | 2015-10-07 18:48 |
Dependencies (4)
- bash (bash-devel-git, bash-devel-static-git)
- gmp (gmp-hg, scipoptsuite, scipoptsuite-bin)
- mlton (mlton-git) (make)
- python (python-dbg) (optional)
Required by (11)
- mlkit (requires mlton) (make)
- mlton-git (requires mlton) (make)
- opentheory (requires mlton) (make)
- opentheory-git (requires mlton) (make)
- quine-relay (requires mlton)
- smackage-git (requires mlton) (make)
- smltojs (requires mlton) (make)
- sonic-visualiser-hg (requires mlton) (make)
- tutch-git (make)
- urweb (requires mlton) (make)
- urweb-git (requires mlton) (make)
Latest Comments
xyproto commented on 2017-07-23 23:36
I'm having problems when building with the regular gcc package. Thanks for the tips, though. I have a few more ideas I'll try out. And thanks for maintaining mlton-git!
rmanne commented on 2017-07-22 02:05
Hi xyproto, I just tried it myself. It seems to fail on devices with multilib glibc. When I made this package, I multilib was completely disabled on my machine. I also tried it on a different machine without multilib and it installed without any problems.
Are you using multilib glibc right now?
xyproto commented on 2017-07-21 14:52
Hi, I'm trying to upgrade the mlton package in [community], but I get several errors related to ld and -fPIC. When trying to build this package, I get the same types of errors. Are you able to build this package (mlton-git), or do you also encounter problems? Any tips for making mlton build is welcome.
rmanne commented on 2015-09-27 21:50
Note: the mlton in the official repository is required to build mlton-git, and mlton also conflicts with mlton-git. This is intended, because mlton-git is a complete replacement for mlton (provides mlton). So, when upgrading, you will not need to uninstall and install mlton, because mlton-git provides mlton and can fulfill the dependency. Compiling requires about 5.5GB of RAM dedicated because of MLton's internal tests, so if you only have 8GB of RAM, opening a web browser during installation of mlton-git could be disasterous. It also takes a long time to compile (~10m, as they say on their website), so you'll have to be patient.