[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