f# - Compiling Fsharp with Mono Amazon EC2 -


when try compile f# in standard way :

./autogen.sh --prefix=/opt/mono && make && make install

it fails with:

ilwrite: time 35.286 (total) 0.000 (delta) - build string/blob address tables make[3]: *** [.libs/proto//4.0/fsharp.compiler-proto.dll] killed make[3]: *** deleting file .libs/proto//4.0/fsharp.compiler-proto.dll make[3]: leaving directory /src/fsharp/src/fsharp/fsharp.compiler-proto make[2]: *** [do-proto] error 2 make[2]: leaving directory /src/fsharp/src/fsharp make[1]: *** [all] error 2 make[1]: leaving directory /src/fsharp/src/fsharp make: *** [all] error 2

i have mono 3.11 git master installed on ec2 instance.

thank you!

i've compiled f# m1.small instance , switched t1.micro in order to should:

1 upgrade running instance larger ram      1.1 login aws console        1.1.0 navigate ec2 service       1.1.1 choose instances        1.1.1 check instance want fsharp compiled on       1.1.2 click actions       1.1.3 stop instance      1.2 change instance type ( m1.small instance 1.7 gb enough )     1.3 boot pumped instance (do not forget reassign elastic ip when instance booted)  2 compile , install f#  $ ./autogen.sh --prefix=<your_prefix> && make && sudo make install

Comments

Post a Comment

Popular posts from this blog

Change php variable from jquery value using ajax (same page) -

what i'm trying this: i've php global variable $currentid , simple jquery script check if there "id" (page) in hash of url , if yes wanted give value $currentid . i've been reading lot , notice shall use ajax i'm not managing it. my code is: <script type="text/javascript"> $(document).ready(function(){ if (parent.location.hash != '' ) { var thecurrentid = parent.location.hash.split('#')[1]; $.ajax({ url: 'my.php', //current page type: 'post', data: {theid: thecurrentid }, datatype: 'json', success: function () { } }); } // code here }); </script> could me please? thank in advance. php server side language, meaning once has sent data browser, php variables , data cannot changed... however, using ajax, can send request php page , change data in dom based on result. consider th...
Read more

Pull out data related to my apps from Android Play Store and iOS App Store -

i want pull out data related apps (ratings, reviews, etc) google play store , apple app store ? how can accomplish ? i have found open source apis google mentioned not reliable. also there paid apis (e.g. appfigures) available. has idea how able pull data these play stores ?? i looking direction on how can accomplish this. can suggest ? we (appfigures) have been working on developing infrastructure give ability reviews , bunch of other data points major app stores several years :] we make available via our api though may want check out.
Read more

How can I fetch data from a web server in an android application? -

i want retrieve data web server in android application, , don't know begin. should use web services? i recommend these tutorials: connect android php , mysql , json in android , php , mysqli i used these tutorials , managed trying working without difficulty. between them describe each step in how attempting @ each stage, android application, database , web server side , has information included can process , use received information the thing add connect android php , mysql tutorial makes use of mysql_ in php deprecated. better use mysqli why included third link. the basic outline of want this: 1) in android app make request server php script using class this: import java.io.bufferedreader; import java.io.ioexception; import java.io.inputstream; import java.io.inputstreamreader; import java.io.unsupportedencodingexception; import java.util.list; import org.apache.http.httpentity; import org.apache.http.httpresponse; import org.apache.http.namevaluepair...
Read more