From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.7 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id F1718BB84 for ; Tue, 15 Jul 2008 21:23:53 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgIGAP6VfEhIDvyYWmdsb2JhbACRdTkBFgIFBgUQBpYyhkw X-IronPort-AV: E=Sophos;i="4.30,367,1212357600"; d="scan'208";a="27351161" Received: from po-out-1718.google.com ([72.14.252.152]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Jul 2008 21:23:53 +0200 Received: by po-out-1718.google.com with SMTP id c31so6572613poi.3 for ; Tue, 15 Jul 2008 12:23:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=4dXCcFJTUdxwGXMrP7e4qZQYOZyxkdHldMOaBu52P0Q=; b=UbFQ6TfeujWxK93hjXnxKGvJQaDMP66FACutWnqO7n/SQv+kML5fFPj5xq9qlFuKg3 6rmC2ntWmHqqSIMLkqOnmRdLqzSsGhpIumWMjWigk8F/qcUSXhTJpuw3BdVa/fLzZc9D d7pwagQNQkOx2loDRqIiDi/tun3sg7gw+0ems= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=f+KtVVuTQ6JyLYnD3by5JU+xSCT21p6vgoW0Tk/0jan3QmAHCviUa3vaeOtWUgftQ7 3g04fSCZQRgwlEQHvHxujBe/nyDB2tIuZDRJ/53iPev0dqGqqUR/HBxMGrypCp37wMPx 5N4GCSk0Xo6DSMrfUvc1o/8fpch7KhJ0izvvc= Received: by 10.141.13.16 with SMTP id q16mr7684373rvi.99.1216149831401; Tue, 15 Jul 2008 12:23:51 -0700 (PDT) Received: by 10.140.188.1 with HTTP; Tue, 15 Jul 2008 12:23:51 -0700 (PDT) Message-ID: <666572260807151223k594a29c5m611514359cc87f16@mail.gmail.com> Date: Tue, 15 Jul 2008 21:23:51 +0200 From: Adrien To: "Gerd Stolpmann" Subject: Re: [Caml-list] Re: thousands of CPU cores Cc: "Kuba Ober" , caml-list@yquem.inria.fr In-Reply-To: <1216145029.16617.42.camel@flake.lan.gerd-stolpmann.de> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1215724745.24773.37.camel@flake.lan.gerd-stolpmann.de> <200807151157.22397.ober.14@osu.edu> <1216145029.16617.42.camel@flake.lan.gerd-stolpmann.de> X-Spam: no; 0.00; gerd:01 stolpmann:01 afaik:01 o'caml:01 gcc:01 cygwin:01 mingw:01 cygwin:01 iirc:01 ocaml:01 undef:01 strerror:01 sockets:01 getcwd:01 utime:01 2008/7/15 Gerd Stolpmann : > > Well, there's now SFU for Windows (but only for XP Professional and > Windows 2003, not for XP Home and Vista, AFAIK). That's a cool solution > when you want to run Win32 and POSIX programs on the same system, and > maybe an alternative to using virtualization. But it is nothing for > developing consumer programs on Windows. > > Btw, has something tried to compile O'Caml on SFU? It's a 230M free > download. There seems to be gcc and lots of GNU stuff, too (yes, it's > from MS...). Well, I did a few months ago. For those who don't know, SFU (Services For Unix) provides approximately the same features as cygwin. SFU works really well and is professional : you use the installer and you're done. It's usually easier to get an SFU build than a mingw or a cygwin one. There's a catch however : it works too well ! It's certainly surprising but SFU gives you an Unix-like environment and you'll certainly try to interact with windows and that's where the problem lies. For example, paths will clash iirc. However it is worth being investigated. These are s-nt.h : First, the official one for windows : #define OCAML_OS_TYPE "Win32" #undef BSD_SIGNALS #define HAS_STRERROR #define HAS_SOCKETS #define HAS_GETCWD #define HAS_UTIME #define HAS_DUP2 #define HAS_GETHOSTNAME #define HAS_MKTIME #define HAS_PUTENV #define HAS_LOCALE Then the one you can obtain when configure'ing under SFU : #define OCAML_OS_TYPE "Unix" #define OCAML_STDLIB_DIR "/usr/local/lib/ocaml" #define POSIX_SIGNALS #define HAS_GETRUSAGE #define HAS_TIMES #define HAS_TERMCAP #define HAS_SOCKETS #define HAS_INET_ATON #define HAS_UNISTD #define HAS_OFF_T #define HAS_DIRENT #define HAS_REWINDDIR #define HAS_LOCKF #define HAS_MKFIFO #define HAS_GETCWD #define HAS_GETWD #define HAS_GETPRIORITY #define HAS_UTIME #define HAS_DUP2 #define HAS_FCHMOD #define HAS_TRUNCATE #define HAS_SYS_SELECT_H #define HAS_SELECT #define HAS_SYMLINK #define HAS_WAITPID #define HAS_GETGROUPS #define HAS_TERMIOS #define HAS_SETITIMER #define HAS_GETHOSTNAME #define HAS_UNAME #define HAS_GETTIMEOFDAY #define HAS_MKTIME #define HAS_SETSID #define HAS_PUTENV #define HAS_LOCALE #define HAS_MMAP #define HAS_SIGWAIT It's a bit longer ! I have since uninstalled SFU but could reinstall it, virtualBox will be handy (except that compiling software inside a virtual machine is everything but funny). By the way, SFU is available for Vista and should work under XP Home (Home is like Pro with a few things removed). Microsoft announced there would be no other version of SFU [1] but SFU is not their product, it is Interix's and I think Interix will continue to ship new versions though these probably won't be free. Also, the utilities are not necessarily Gnu, they provide BSD ones. ;) But, but, ... I just saw debian-interix which claims "since the last buildd run there are now over 1000 packages available for interix-i386", and even better, the project is still active, the latest is dated from "2008-06-30". I definitely have to install SFU again ! (I'll just need a windows partition bigger than 4GB...). [1] : http://www.microsoft-watch.com/content/operating_systems/its_the_end_of_the_line_for_microsofts_services_for_unix_product.html The not-so-funny part is that applications compiled under SFU need SFU installed to run so this limits portability but ocaml-compiled programs may not have this problem. The only way to know more about this is certainly to experiment. Also, I don't know how free is SFU's license. --- Adrien Nader