[MLton-devel] Successfully ported MLton to FreeBSD
Michael Neumann
uu9r@rz.uni-karlsruhe.de
Fri, 28 Jun 2002 00:40:12 +0200
--vGgW1X5XWziG23Ko
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
On Thu, Jun 27, 2002 at 10:42:29AM -0700, Stephen Weeks wrote:
>
> > I've successfully ported MLton to FreeBSD (tested with 4.5).
>
> Great! I checked in your patches.
>
> We'd be interested to hear the details of what you did. Are you
> running a cross compiler from Linux to FreeBSD or did you actually
> manage to cross compile MLton itself to run on FreeBSD?
Luckily, FreeBSD has a Linux system call emulation layer, so that it can run
almost all Linux programs without problems.
I've only modified the runtime library of MLton to compile on FreeBSD.
This is important so that the mlton wrapper script can link with the FreeBSD version of
libmlton.a and generate native FreeBSD applications.
> Do you have a version of MLton running on FreeBSD that can self compile to fixpoint
> and pass the regression tests?
The Linux binary works very well. I've run the regression tests with it. The output is appended below.
I tried to compile a native FreeBSD version, but I've yet too less resources (~700 MB). Do you know how
much memory I will need to compile it?
> If so, could you package up a binary tgz (or whatever package format FreeBSD uses) that we could
> distribute?
I've uploaded a working binary for FreeBSD (using Linux emulation) to
http://www.fantasy-coders.de/sml/mlton-20020426.i386-freebsd.tgz
This can be used to bootstrap MLton on FreeBSD.
> Thanks for the port.
Thanks for MLton :)
Regards,
Michael
--vGgW1X5XWziG23Ko
Content-Type: text/plain; charset=us-ascii
Content-Disposition: attachment; filename="regression.stdout"
Content-Transfer-Encoding: quoted-printable
testing 1
testing 10
testing 11
testing 12
testing 13
testing 14
testing 15
testing 16
testing 17
testing 18
testing 19
testing 2
testing 20
testing 21
testing 22
testing 23
testing 3
testing 4
testing 5
testing 6
testing 7
testing 8
testing 9
testing FuhMishra
testing abcde
testing abstype
testing array
testing array2
testing array3
testing array4
testing array5
testing array6
testing array7
testing asterisk
testing binio
testing bytechar
1,59c1
<=20
< File bytechar.sml: Testing structures Byte and Char...
< test1 OK
< test2 OK
< test3 OK
< test4 OK
< test5 OK
< test6 OK
< test7 OK
< test8 OK
< test9 OK
< test10a OK
< test10b OK
< test10c OK
< test10d OK
< test10e OK
< test10f OK
< test10g OK
< test10h OK
< test10i OK
< test10j OK
< test11a OK
< test11b OK
< test11c OK
< test11d OK
< test11e OK
< test11f OK
< test11g OK
< test11h OK
< test11i OK
< test11j OK
< test18 OK
< test19 OK
< test20 OK
< checkset OK
< checkset OK
< checkset OK
< checkset OK
< checkset OK
< checkset OK
< checkset OK
< checkset OK
< checkset OK
< checkset OK
< test31 OK
< test32 OK
< test33 OK
< test34a OK
< test34b OK
< test35a OK
< test35b OK
< test36 OK
< test37 OK
< test38 OK
< test39 OK
< test40 OK
< test41 OK
< test42 OK
< test43 OK
---
> Unable to allocate string constant "".
testing callcc
testing callcc2
testing callcc3
testing cases
testing char0
testing check_arrays
testing circular
testing cmdline
testing cobol
testing command-line
testing constraint
testing conv
testing conv2
testing cycle
testing date
testing dead
testing down
testing ex
testing exhaustive
testing exn
testing exn2
testing exnHistory
testing exnHistory2
testing exponential
testing fact
testing fast
testing fast2
testing fft
testing filesys
testing flexrecord
testing format
testing functor
testing general
testing grow-raise
testing harmonic
1,4c1
< 3922259912151478182911914551330097315404478398884395656466052892864782382=
260892104278881701911480208838567258304891269531359437103713455815474431946=
380548974641547189074659612741608160521424067667485834365291326113028143376=
741328708853382693520337196872147892070197668374506184703318497120237716849=
502085418875036363095466291474873064884887134019046215488887462791554753072=
885938632852881381294004057097000586433148389270312935315365116049397572921=
750819407953332655047201441144145339934020775478506501335684101822976857463=
883978488021026831646298852806201531607015072979847279568753475256535698947=
064134980525095328762761683488644310365005744367144612835741813520232189521=
213258296504069433835286691484285061663064226259969662706566037098823046876=
379667292335339827230801490395975900513533644657640977697327405575448999096=
079494834398500342024095995854398041650616471215285286658309722416050871432=
978691028091537599934809570710442999986498036210976642595628076517413949305=
627029305264810481262907876569051478866665620470817472271994670289727603069=
759755614780617868457784357766248963135358110048491406617087739744975214315=
965606823673889626060104073707787127289697445153417059785325364653353910683=
346874424289703527875840562263172185193553031001032813297771164265035413199=
2856640623078642638554372351743/4569578892362787664957444564459031125304046=
583164843221047579554945561028126633621164033719734733059547478872764378796=
415405297659320587544009272961517554759297956605045388903388209303690187403=
434357085886228397414739326302662662412326772539086997640513624806257314212=
466761615834754841534064594319013754023106626918173226552383693292127509626=
955250296241893697505366116598871212618916494583889537226056297118823049020=
956629904542236545848364941268876364307378900917456608180165495057377390070=
564233017048712830812268777992807510740665844294834207402467562214500792794=
249382088381786425833718896071046857860477525231235294758469785412358841835=
611233817993602269819522793270735015879200753701267786090663741509962140711=
233366150365618138860003805211482019314608468756221533641296285789297504897=
962527403713948371740605317726993184615832121535494687155883158540673264189=
444152906152190163570346297467322217423738606472412080926110697484769438174=
814088852871161968016977238122910885288982973028048718218464063866818318220=
434195067144865738332336332844153484491549915978710992214617666108915686922=
143117073510269034979041814046355037408684614858290089148388091151304646695=
173449912561204965201215617731145621011524416055468891736454258517986283205=
345760492728091869952062577506684644716279940891989171456000
< 3922259912151478182911914551330097315404478398884395656466052892864782382=
260892104278881701911480208838567258304891269531359437103713455815474431946=
380548974641547189074659612741608160521424067667485834365291326113028143376=
741328708853382693520337196872147892070197668374506184703318497120237716849=
502085418875036363095466291474873064884887134019046215488887462791554753072=
885938632852881381294004057097000586433148389270312935315365116049397572921=
750819407953332655047201441144145339934020775478506501335684101822976857463=
883978488021026831646298852806201531607015072979847279568753475256535698947=
064134980525095328762761683488644310365005744367144612835741813520232189521=
213258296504069433835286691484285061663064226259969662706566037098823046876=
379667292335339827230801490395975900513533644657640977697327405575448999096=
079494834398500342024095995854398041650616471215285286658309722416050871432=
978691028091537599934809570710442999986498036210976642595628076517413949305=
627029305264810481262907876569051478866665620470817472271994670289727603069=
759755614780617868457784357766248963135358110048491406617087739744975214315=
965606823673889626060104073707787127289697445153417059785325364653353910683=
346874424289703527875840562263172185193553031001032813297771164265035413199=
2856640623078642638554372351743/4569578892362787664957444564459031125304046=
583164843221047579554945561028126633621164033719734733059547478872764378796=
415405297659320587544009272961517554759297956605045388903388209303690187403=
434357085886228397414739326302662662412326772539086997640513624806257314212=
466761615834754841534064594319013754023106626918173226552383693292127509626=
955250296241893697505366116598871212618916494583889537226056297118823049020=
956629904542236545848364941268876364307378900917456608180165495057377390070=
564233017048712830812268777992807510740665844294834207402467562214500792794=
249382088381786425833718896071046857860477525231235294758469785412358841835=
611233817993602269819522793270735015879200753701267786090663741509962140711=
233366150365618138860003805211482019314608468756221533641296285789297504897=
962527403713948371740605317726993184615832121535494687155883158540673264189=
444152906152190163570346297467322217423738606472412080926110697484769438174=
814088852871161968016977238122910885288982973028048718218464063866818318220=
434195067144865738332336332844153484491549915978710992214617666108915686922=
143117073510269034979041814046355037408684614858290089148388091151304646695=
173449912561204965201215617731145621011524416055468891736454258517986283205=
345760492728091869952062577506684644716279940891989171456000
< 3922259912151478182911914551330097315404478398884395656466052892864782382=
260892104278881701911480208838567258304891269531359437103713455815474431946=
380548974641547189074659612741608160521424067667485834365291326113028143376=
741328708853382693520337196872147892070197668374506184703318497120237716849=
502085418875036363095466291474873064884887134019046215488887462791554753072=
885938632852881381294004057097000586433148389270312935315365116049397572921=
750819407953332655047201441144145339934020775478506501335684101822976857463=
883978488021026831646298852806201531607015072979847279568753475256535698947=
064134980525095328762761683488644310365005744367144612835741813520232189521=
213258296504069433835286691484285061663064226259969662706566037098823046876=
379667292335339827230801490395975900513533644657640977697327405575448999096=
079494834398500342024095995854398041650616471215285286658309722416050871432=
978691028091537599934809570710442999986498036210976642595628076517413949305=
627029305264810481262907876569051478866665620470817472271994670289727603069=
759755614780617868457784357766248963135358110048491406617087739744975214315=
965606823673889626060104073707787127289697445153417059785325364653353910683=
346874424289703527875840562263172185193553031001032813297771164265035413199=
2856640623078642638554372351744/4569578892362787664957444564459031125304046=
583164843221047579554945561028126633621164033719734733059547478872764378796=
415405297659320587544009272961517554759297956605045388903388209303690187403=
434357085886228397414739326302662662412326772539086997640513624806257314212=
466761615834754841534064594319013754023106626918173226552383693292127509626=
955250296241893697505366116598871212618916494583889537226056297118823049020=
956629904542236545848364941268876364307378900917456608180165495057377390070=
564233017048712830812268777992807510740665844294834207402467562214500792794=
249382088381786425833718896071046857860477525231235294758469785412358841835=
611233817993602269819522793270735015879200753701267786090663741509962140711=
233366150365618138860003805211482019314608468756221533641296285789297504897=
962527403713948371740605317726993184615832121535494687155883158540673264189=
444152906152190163570346297467322217423738606472412080926110697484769438174=
814088852871161968016977238122910885288982973028048718218464063866818318220=
434195067144865738332336332844153484491549915978710992214617666108915686922=
143117073510269034979041814046355037408684614858290089148388091151304646695=
173449912561204965201215617731145621011524416055468891736454258517986283205=
345760492728091869952062577506684644716279940891989171456001
< 3584615220985623305223685249295246225325255847010592061535537507054340523=
772835966136174812444246556939389303813119976382936275374516027739038209685=
521309728873034135895468940275207546514868565631371832461921786996784026745=
401663746270436649060739062972748164596686670361721306413495180501434210767=
603832868833647035969508908260151658338236941656093260720011259259479411732=
925249293208520171468225525806383650834835731170473679077226923540931911125=
096835824806306261800289553729475268803639432150414375539684539593637289353=
490503915931525147267432928619665535348606397036558121111237034921489215650=
945602525180734673087910019264482915157901852693153966667694419211567577099=
194005684590533681172623924367978384208254086641738078576712579278510862112=
393591731480060226517661859856720153332291461554141858802384568503330308492=
963904034166756489241908219359783189896979946241071013053966959838306321250=
728451648126086108333606429065465221905749155168485723735155905949173145054=
106550676168762472331911998170793983869555448922544308290417365783974327864=
708854768700960074075224530205693248393779468751028194647917509406745702070=
417638423164411096971273578638418491458388115058601435473007142451543145782=
473301347403570565275106493514453982912244269356724400035494432641531392318=
104115579385919358044364217246880225783814816990675145070187952583798980183=
999704646395261592198362060118994060094901692540668672742863421711707193923=
593898026911451177841439162744030980648219634968843888460812615756761051673=
320197326208181871343768804081132975350442740804161373666644943037129829220=
980884816810939992478762306526640423102971482159077002566298422003532150076=
730601479349061890950511055008509521197472120569240705029791400482148016945=
421534645419163576782420461357772392812225816038790702456714193451619507883=
218121007186352942392614693141972765628037990646529648970140296131771424130=
263557184711405343483489165128133016002296383160551040015869399950607785578=
818450616532882241826364218892981051064684062138056864900824335290226706978=
557374903592895356192989106527022718153384042426600706594723028121769709679=
836776594076448797152911088393853366617923027413203414642677339622615755303=
561682929895142771911946778085811448141506525619355733242356682842808894103=
269692927354918030954647450497861663215126801009953130434146744104011078448=
092494479259215084692695371589651534992117997918282762700309594150436809550=
313779325905202880885511182702138959923712506388906230599173107524497358739=
147543369388795202343471266786671310913778761203242039046034024313905342497=
83544011207559910049608289464118144065780698236078439423743/208810512535275=
213762666284098695191087366354425464167855527637926259592367823693353311229=
388592286534546538304146124061101006594606920557106373207714394427400231165=
917921135182142258472234608139393764341740777170924742366751241101345389375=
023061288304005563866890675331438380859927090083606913719317615542994646987=
161344603573414385098738365725751295117102292386902687984237304479869016737=
348751631950742320416088264973939234298381465070998260125910485975371705753=
456341707808546548678035666345877233003446730468191276724922798382457592780=
570656772466458613608739770265822766905059900867704989708569038123698001929=
483693935699917921961742110640180850963276491367168845332684944249208091871=
359122181994818178614132349257436781853560511826344310871836080274199995669=
226171945118465110536384726772338182127101206731517923403513584290252101111=
981766504631877020396436238639293461394136204664257015413168673677596928542=
008566473132685058455021649888322601432584187261809021558182437402032254421=
335345075633107338067429009288480335450458504837063427347168306562372035797=
687650820456788171016992534099581677042692922646381808414200551158151177595=
183074801035203710727953657914102622053171738361042367462517429300327640712=
940663954964968599032552770919591414174064928534124019858482274105683401370=
265195985412097082115420937950710574562293562820152539093676312543799709780=
967391674710848783451770850095894135762235026241472261656571768190327385157=
646065565377330475493238453660885999448727915792259196000257605663087813902=
096207203092164016325914935112746638300280259824882364300556520877125955311=
271504042488369448780303379458848083575525856345243175777687739224169993250=
742734053137283396327883295085794803042328085177771161712503320893511930741=
444368308341159813812630379477509473972024101449151219643197012766732101481=
829821115285287370044516408187645086694250151738876895595536449711882425678=
194928768438143510739078615921465897122274918700251731952291341583272775600=
022908523387927233455649709598557412082935126370697508970132440624206198944=
147060169802898583011586029674741859609220136091697663659177229832334831572=
108951137172491328403888349591929540084232348407150588299356123719045131126=
796642329587535044082934398516751953096130577388760505595662718739617506569=
568710442178032264087274336653267384028417968776883745785767714046980636636=
005781614846743044423739659673839500763337977008135768653904004929763311750=
872276951267696464339360571925486958820766856528731465738922870863813046987=
092887660890824224583803307595890172965364242709489948701823601463193083124=
61592885651230596183554702257149107456000
---
> basis/IntInf.c 577: assert(&dp[dsize] <=3D &spbp->limbs[spbp->card - 1]) =
failed.
testing hello-world
testing id
testing int-inf.0
testing int-inf.1
testing int-inf.2
testing int-inf.3
testing int-inf.4
testing int-inf.5
testing int-inf.log2
testing int-overflow
testing int
testing jump
testing kitdangle
testing kitdangle3
testing kitfib35
testing kitkbjul9
testing kitlife35u
testing kitloop2
testing kitmandelbrot
testing kitqsort
testing kitreynolds2
testing kitreynolds3
testing kitsimple
testing kittmergesort
testing kkb36c
testing kkb_eq
testing klife_eq
testing known-case0
testing known-case1
testing lambda-list-ref
testing layout
testing lex
testing lib
testing life
testing list
testing listpair
testing llv
testing local-ref
testing math
71c71
< test12n OK
---
> test12n WRONG
testing mlton.overload
testing mlton.word
testing msort
testing mutex
testing nested-loop
testing nonexhaustive
testing once
testing only-one-exception
testing opaque
testing opaque2
testing open
testing os-exit
testing overloading
testing pack-real
testing pack32
testing parse
testing pat
testing poly-equal.2
testing poly-equal
testing polymorphic-recursion
testing posix-exit
testing print-self
testing prodcons
testing pseudokit
testing rank
testing real.maxFinite
compilation of real.maxFinite failed
--vGgW1X5XWziG23Ko
Content-Type: text/plain; charset=us-ascii
Content-Disposition: attachment; filename="regression.stderr"
/usr/local/lib/mlton/self/libmlton-gdb.a(tmpnam-gdb.o): In function `OS_FileSys_tmpnam':
/home/mneumann/devl-mlton/cvs2/mlton/runtime/basis/OS/FileSys/tmpnam.c(.text+0x9): warning: tmpnam() possibly used unsafely; consider using mkstemp()
Abort trap - core dumped
/tmp/file0nsTYB.o:/tmp/fileUVCH2P.0.s:276: undefined reference to `Real_maxFinite'
mlton: call to system failed: gcc -g -o real.maxFinite /tmp/file2PWpMJ.o /tmp/file0nsTYB.o -L/usr/local/lib/mlton/self -lmlton-gdb -lm /usr/lib/libgmp.a
--vGgW1X5XWziG23Ko--
-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Bringing you mounds of caffeinated joy.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel