2010年06月13日 23:15 by ELF 上鍵

初めまして

何時間かOcamlとOcsigenのインストールを試してみましたが、上手く行きませんでしたので投稿しました。
ご教示お願い致します。


■ 環境
---------------------------------
Virtual Machine Soft: VMWare Player
HostOS: Windows 7 Ultimate 64bit
GestOS: CentOS 5.5 (CentOS-5.5-i386-bin-DVD.iso からインストール)
CPU: Core i5 750
Mem: DDR3 2G * 4
VGA: GeForce GT 220
---------------------------------


■ したいこと
Ocsigenサーバで Ocaml Web プログラミングの挑戦
(ゆくゆくはOcsigenでサーバ運用)



■ インストール前に行ったこと

以下のファイルを編集した内容を書きます。
/etc/yum.repos.d/CentOS-Base.repo

------------------------------------------------------------
[base]
name=CentOS-$releasever - Base
baseurl=http://ftp.riken.jp/Linux/caos/centos/$releasever/os/$basearch/
gpgcheck=1
gpgkey=http://ftp.riken.jp/Linux/caos/centos/RPM-GPG-KEY-CentOS-5

#released updates
[updates]
name=CentOS-$releasever - Updates
baseurl=http://ftp.riken.jp/Linux/caos/centos/$releasever/updates/$basearch/
gpgcheck=1
gpgkey=http://ftp.riken.jp/Linux/caos/centos/RPM-GPG-KEY-CentOS-5

#packages used/produced in the build but not released
[addons]
name=CentOS-$releasever - Addons
baseurl=http://ftp.riken.jp/Linux/caos/centos/$releasever/addons/$basearch/
gpgcheck=1
gpgkey=http://ftp.riken.jp/Linux/caos/centos/RPM-GPG-KEY-CentOS-5

#additional packages that may be useful
[extras]
name=CentOS-$releasever - Extras
baseurl=http://ftp.riken.jp/Linux/caos/centos/$releasever/extras/$basearch/
gpgcheck=1
gpgkey=http://ftp.riken.jp/Linux/caos/centos/RPM-GPG-KEY-CentOS-5

#additional packages that extend functionality of existing packages
[centosplus]
name=CentOS-$releasever - Plus
baseurl=http://ftp.riken.jp/Linux/caos/centos/$releasever/centosplus/$basearch/
gpgcheck=1
enabled=1
gpgkey=http://ftp.riken.jp/Linux/caos/centos/RPM-GPG-KEY-CentOS-5

#contrib - packages by Centos Users
[contrib]
name=CentOS-$releasever - Contrib
baseurl=http://ftp.riken.jp/Linux/caos/centos/$releasever/contrib/$basearch/
gpgcheck=1
enabled=1
gpgkey=http://ftp.riken.jp/Linux/caos/centos/RPM-GPG-KEY-CentOS-5

------------------------------------------------------------


上記設定後に以下のコマンドを実行してから、OcamlとOcsigenのインストールに試みています。
[root@xxxx tmp]# yum clean all
[root@xxxx tmp]# yum update



■ 試したコマンドと結果

Linuxをインストールして、設定するのは初めてですので、何が悪いのか一切分かりませんので、実行したコマンドとその結果を直接書き込みたいと思います。
(※インストールだけなら何度かありますが、それ以上の事はやったことがありません。)


--------------------------------------------------------------
[root@xxxx tmp]# sudo yum install ocaml
Loaded plugins: fastestmirror
Loading mirror speeds from cached hostfile
addons                            |  951 B        00:00
base                              | 2.1 kB        00:00
centosplus                        | 1.9 kB        00:00
contrib                           |  951 B        00:00
extras                            | 2.1 kB        00:00
updates                           | 1.9 kB        00:00
Setting up Install Process
No package ocaml available.
Nothing to do

--------------------------------------------------------------
[root@xxxx tmp]# tar -zxf ocaml-3.11.2.tar.gz
[root@xxxx tmp]# cd ocaml-3.11.2
[root@xxxx tmp]# ./configure
Configuring for a i686-pc-linux-gnu ...
Unable to compile the test program.
Make sure the C compiler cc -0 is properly installed.
[root@xxxx tmp]# make world
Makefile:17: config/Makefile: No such file or directory
make: *** No rule to make target `config/Makefile'. Stop.


--------------------------------------------------------------
[root@xxxx tmp]# rpm -ivh ocaml-3.10.1-1.el5.i386.rpm
warning: ocaml-3.10.1-1.el5.i386.rpm: Header V3 DSA signature: NOKEY, key ID 05c387ef
error: Failed dependencies:
        libtk8.4.so is needed by ocaml-3.10.1-1.el5.i386
[root@xxxx tmp]# yum install tk
~~~~~ (省略
Complete!
[root@xxxx tmp]# rpm -ivh ocaml-3.10.1-1.el5.i386.rpm
warning: ocaml-3.10.1-1.el5.i386.rpm: Header V3 DSA signature: NOKEY, key ID 05c387ef
~~~~ (省略
xxxxx [100%]
(↑完了っぽいメッセージが出ましたが、何かのコマンドを押してしまい、画面から文字が消えてしまったので全部書けませんでした。)

--------------------------------------------------------------
[root@xxxx tmp]# tar -zxf ocsigen-1.3.2.tar.gz
[root@xxxx tmp]# cd ocsigen-1.3.2
[root@xxxx ocsigen-1.3.2]# ./configure
Welcom to Ocsigen version 1.3.2
Checking for findlib... not found
Make sure that ocamlfind is in your PATH, or install findlib
(from www.ocaml-programming.de)
[root@xxxx ocsigen-1.3.2]# make
Makefile:1: Makefile.config: No such file or directory
make: *** No rule to make target `Makefile.config'. Stop.
[root@xxxx tmp]# cd ..
[root@xxxx tmp]# tar -zxf findlib-1.2.1.tar.gz
[root@xxxx findlib-1.2.1]# cd ./findlib-1.2.1
[root@xxxx findlib-1.2.1]# ./configure
Welcom to findlib version 1.2.1
Configuring core...
Testing threding model...
systhread_supported: true
Testing DLLs...
Configuring libraries...
labltk: found
camlp4: using camlp4, style 310
Configuration for dbm written to site-lib-src/dbm/META
Configuration for dynlink written to site-lib-src/dynlink/META
Configuration for graphics written to site-lib-src/graphics/META
Configuration for num written to site-lib-src/num/META
Configuration for num-top written to site-lib-src/num-top/META
Configuration for str written to site-lib-src/str/META
Configuration for threads written to site-lib-src/threads/META
Configuration for unix written to site-lib-src/unix/META
Configuration for stdlib written to site-lib-src/stdlib/META
Configuration for bigarray written to site-lib-src/bigarray/META
Configuration for labltk written to site-lib-src/labltk/META
Configuration for camlp4 written to site-lib-src/camlp4/META
Detecting compiler arguments: FAILED
[root@xxxx findlib-1.2.1]# sudu make install
Makefile:6: Makefile.config: No such file or directory
make: *** No rule to make target `Makefile.config'. Stop.


以上
宜しくお願いします。

1: 口コミさん : 2010-06-13 23:52
> rub さん
はじめまして

Ocsigen-1.3.2 は ocaml-3.11 以上を推奨しています.(./ocsigen-1.3.2/README より)
無用なトラブルを避けるために,まず ocaml-3.11.2 を野良ビルドしたほうがいいと思います.

また,ocaml を野良ビルドする際は
$ ./configure
$ make world opt
$ sudo make install
findlib を野良ビルドする際は
$ ./configure
$ make all opt
$ sudo make install
だったような気がします...
2: rub : 2010-06-14 02:29
> harre_orzさん

rpmはアンインストールして、やり直してみたところ以下の様な結果が返ってきます。
教えて頂いたコマンドも同様に、Google先生で出てきたサイトのコマンドも駄目でした。
"make xxxxx" のコマンドを打ち込むと、同じメッセージしか返りません。。



[root@xxxxx ocaml-3.11.2]# ./configure
Configuring for a i686-pc-linux-gnu ...
Unable to compile the test program.
Make sure the C compiler cc -0 is preperly installed.
[root@xxxxx ocaml-3.11.2]# make world
Makefile:17: config/Makefile: No such file or directory
make: *** No rule to make target `config/Makefile'. Stop.
[root@xxxxx ocaml-3.11.2]# make bootstrap
Makefile:17: config/Makefile: No such file or directory
make: *** No rule to make target `config/Makefile'. Stop.
[root@xxxxx ocaml-3.11.2]# make opt
Makefile:17: config/Makefile: No such file or directory
make: *** No rule to make target `config/Makefile'. Stop.
[root@xxxxx ocaml-3.11.2]# make opt.opt
Makefile:17: config/Makefile: No such file or directory
make: *** No rule to make target `config/Makefile'. Stop.
[root@xxxxx ocaml-3.11.2]# make install
Makefile:17: config/Makefile: No such file or directory
make: *** No rule to make target `config/Makefile'. Stop.
3: rub : 2010-06-14 06:33
以下のコマンドで Ocaml はインストール出来ました!

[root@xxxxx tmp]# rpm -qa | grep gcc
libgcc-4.1.2-48.el5
[root@xxxxx tmp]# yum install gcc
[root@xxxxx tmp]# tar zxvf ocaml-3.11.2.tar.gz
[root@xxxxx tmp]# cd ./ocaml-3.11.2
[root@xxxxx tmp]# ./configure
[root@xxxxx tmp]# make world
[root@xxxxx tmp]# make bootstrap
[root@xxxxx tmp]# make opt
[root@xxxxx tmp]# make world.opt
[root@xxxxx tmp]# ./build/fastworld.sh
[root@xxxxx tmp]# umask 022
[root@xxxxx tmp]# make install
[root@xxxxx tmp]# ./build/install.sh

引き続き Ocsigen のインストールを試してみます。
4: rub : 2010-06-14 06:36
連続書き込み済みません。
参考にしたサイトを書き置きしておきます。

Installing Objective Caml on a Unix machine
http://caml.inria.fr/pub/distrib/ocaml-3.11/notes/INSTALL

OCaml プログラミング入門 (インストール).mht
http://www.i.kyushu-u.ac.jp/~bannai/ocaml-intro/install.html
5: 口コミさん : 2010-06-15 06:21
> rub さん

Ocsigen のコンパイラするときにも使える OMake という強力なビルドツールがあるので,もしよかったら調べてみて下さい.
6: rub : 2010-06-15 06:41
> harre_orz さん

ありがとうございます。
時間が空いたときにまた試してみたいと思います!

スレッド一覧

【求人】港区でのお仕事です【時給1700円以上】 【急募・東京】プログラマー&デザイナー Ubuntu11.10でバッファローNASLS-V2.0TLを使いたい crontabでcommandを5秒単位で指定する方法を教えてください メールサーバ、明日お昼まで受付。ご教示ください&疑問お答えします。sendmailをマスターしたい。 Linux Fedora Core4マニュアル USBメモリからブートする方法 MTA(ウィルス対策付き)のテスト方法について ICMP Destination host administratively 真剣に聞きたいのだが、Ubuntuの何が良いの? FMV-BIBLO LOOX P70でタッチパネル成功した方 OSのリストア syslog-ngってロストしますか? HDDから情報の救出。助けてください。 [Q] bdflushの設定値について 質問: egrepにおける正規表現の記述 inodeを増やす方法 セキュリティについて CDからの曲の取り込みとその管理、視聴 FedoraCoreファンの集い VMware Workstation v6.0の使い方 Ruby on Rails 現場ノウハウ講座(β) ネットをするための設定は?><) gcovとlcovについて。 教えてください。 RAIDが壊れたとき ffmpegをインストールしようとするとエラーが発生します。 無線Linux考 内部向けDNS設定 日本語がCUI画面で文字化けします。 「YouOS」というものについて Linuxが動くノートPCを教えてください HHKBの相性 情報源 サーバ構築時のソフトウェアインストール Ubuntuでネット How to? diffコマンドで,連続行の変更を1行ずつ取得する方法 ロシア、リナックス基盤に国産OS開発へ zenwalk linux 使っている人いますか? Linux Mint ネットブックで自宅サーバやってる方いませんか? 参加者を募集しています。 EeePC 4GのSDカードに linuxディストリビューションの種類・特徴・メリット・デメリットを教えてください アシスタント求人募集 fedoraネットワーク リモートデスクトップについて SLAX-6rc6の日本語化 シェルスクリプトを使ったsftp接続 中古のパソコンに入れるなら Mplayerのインストール ウィルス対策 vmwareにインストールしたCentOSをteratermで操作するやり方 ビジネスにおけるLinuxの未来をは・・・? Hackの内容、ご教授願いたい。 linuxっていろいろあるけど Windowsユーザーの初Linuxはどれが? NFS について パソコンの名前 Linux のための Google Earth はじめましてぇ〜! 「run-crons」について教えてください。 プリンター/スキャナー Linux でも動く mpeg4 H/Wキャプチャボックス はじめまして。 TUXくんグッズ デュアルモニター coLinux Linuxを使った便利システム XMMSって… Linuxデスクトップでウイルス HP のマルチユーザー PC LinuxWorld Expo/Tokyo 2004 Oracle Linux最強説 fedora 12にてインターフェースの設定 http://xx.xx/cgi-bin/x.prgでCGIプログラムを実行したい。 Couch DBの入門書 著者求む 【質問】 Ocsigen のインストール方法 画面に何も映らない。セーフモード Xenの管理OSでアプリケーションをの動かしてもいい? LPIC試験への道。 fedora7インストールについて Fedora8の設定について教えてください。 Quad Coreでのパフォーマンス 技術者を急募しています。 仕事。 Linuxで使うアプリは? 救ってください <質問>デスクトップでエラー ASUS M6R 740 NOTEBOOK に相応しいLINUX? linuxは重たい?>WinXP 初心者向け研修―Red Hat社のトレーニングってどうでしょう? パーティションを切る 今月のWindows系や自作DOS/V機系の雑誌にKNOPPIXのCDが付いてますね(^_^)。 自宅サーバが進入されました。 /dev/memって Xbox Linux fedoraがフリーズします for文について サーバエンジニア募集中! 新しいインターフェースが設定できない Slackware13.0のcifsでマウントしたファイルシステムの上でコンパイルしようとするとリンクに失敗する Linux の良さ おすすめ書籍を教えてください オープンソースの先駆けと対NDS宣戦布告 kernel hackに関する質問 #0x00 USBフラシュメモリーにLiveCDのLinuxを入れて持ち運ぶ rootからuserに戻る方法? Linux 標準バンドルされている 暗号化ライブラリを教えてください linuxとwindowsの狭間で 京都Linux友の会 linuxで1を変数01に変更して変数に格納する方法について。 モジュールとドライバの違いは? SSLの設定方法について Knoppixをインストールしたい。 漢字をかな変換するコマンド 【ノートPCで】タッチパッドが動かない!!HP 500 Notebook PC【LINUXを稼動♪】 usermodなどの使い方を教えてください。 ファイル特定の文字の出力方法に関して。 UbuntuでのWLI-U2-KG54使用について PlayStation Linux Users Group(PSLUG) のコミュニティを立ち上げました。 linux超初心者です。 time 複数コマンド 無線LAN環境は? おしえてください Linuxはじめてみようと思ってます。 一番、サーバーに向いているディストリってなんですかね? LINUX関連の本、サイト さしあげます パーミッション、所有者のバックアップ Linuxルータ オープニングパーティはいつですか? Kobo Touch と、その拡張性について質問 はじめまして 红旗 Linux 。。。???  会社や学校で使っている環境は? リスク管理 【求人】 Linuxサーバ・ネットワーク管理者急募! NFSで " No such file or directory"が発生する メモリー128MBのノートパソコンにでインターネットに接続したい。 どーすれば!? [Q]Canon LBP5100を使う WebSphere Application Server のインストール方法 複数台のNFSサーバーを自動的にマウントしてくれるソフトウェアってありますか? delegate 無線LAN(bcm43xx)使えたのに災難?ログの山 mysqlのインストールについて。 linuxをyahooBBでインターネットをするには? IDE Microsoft と Novell の提携 Fedora Core5 「コミュニティ利用で気をつけてほしいこと」を掲載しました 初歩的な事なのでしょうが apache LinuxとEMT64 スクリーンセーバ 自宅鯖に使えるUPS デュアル CPU の功罪 Open Source Conferlence 2004 SELinux勉強会(4/17・渋谷) Cloud話よろず Cron Jobが実行されない 初心者用のくだらない質問トピック #3 mozc(モズク)コミュ作成しました sk_buffのh.rawって何を表していますか? DNS 皆さんは日本語入力メソッドに何使っていますか? shell作成で悩み あるユーザだけ作成できても、SSH/FTP/SFTPできない。 vsftpd topについて apacheが起動しているか確認するコマンドについて sshをパスワードなしでログインする おすすめの本ってありますか? SUSEについて 初心者用のくだらない質問トピック WEBカメラを設定しWebで公開したい rootで入れないみたいです。。 Libretto L1にturbolinuxFUJIをインストしたい NFSサーバーでCommitted_ASが日に日に増えていく smtpfeedの設定 Linuxで無線LANを使いたい TIPS 大量のファイルを保存するNFSサーバーに最適なファイルシステム Linuxリモートインスト無償配布 Grubについて教えてください。 zxLinux 苦労人志向 インストール時の設定 gentoo powerPCG4へLinuxのインストールについて質問 Open sourceについて。。。。 HDDベンチマーク 輸入ノート売ってるような店 音ユースにグッドなLinux向けノートって? mountする方法 クールに冷えるCrusoe! なサーバー on Linux REVOLUTION OS Linux World C&D/Tokyo 2004 レポート 5/4 『Linux ユーザーグループ北陸 勉強会』のご案内 初心者用のくだらない質問トピック #4 Linux デスクトップの普及#2 LPIC CentOSでのVASPのビルドについての質問。 TurboLinux 11Server SVNのインストール TurboLinux 11 Server (Musasabi) で PostgreSQL 教えてください openssl remove.....復旧 暗号化DVDの作成方法 Linuxトラブル・・・ ブート時:TUX君の数? 課題投稿 オリジナルディストリの作り方をご存じの方ご教授願います ブートLinuxでVistaの修復の仕方は? 読まれている雑誌 Linuxを前提としたパソコン購入 アナログビデオが一杯 愛用のLinuxは? 質問です。 Active Sync Linux Ubuntuのフリーズについて PC版i386vineをインストールしてサーバ運用したいです。 グラフィックボードが合わない件について ネットワークについて 教えてください UW-IMAPの情報・・ XglとAIGLXって凄そう!試した? Linuxを使う理由 アドレスにアンダーバーがあるとsendmailがメールを送れない? WinXPとのデュアルブート tarの脆弱性 Linuxをwebサーバとして利用する際のハードのスペック 【質問】 デュアルブート環境下で同時起動 kernel-2.6.13.X でのリブート LW2005 Virtual PC 2004上でFedora Core 3は動くの?? UNIXとの違いって? 初めまして NFS Mountの設定ヘルプ - Fedora 16 Pidginのプラグイン作成方法について (TωT)パソコンの選び方?? TeraTermでデータベースをみる方法 インストールについてです おすすめのセミナー 初心者用のくだらない質問トピック #2 B フレッツ インターネットの接続方法がわかりません slewモード LinuxとFOMA a2502k… Linuxのすばらしさ Linuxを何に使ってますか? 【質問】FlowScan をインストールしたい You tube downloder for Ubuntu NFSのチューニングについて USBフラッシュメモリ usb接続HDを2つ接続したときのデバイスファイルの固定について netscapeを使えるようにしたい。 OS選択の悩み:Windowsは必要か? マルチコアCPUに最適化されたLinuxはありますか? 統合開発環境ってありますか? LPICレベル1最新書籍情報について lsコマンドでワイルドカードが効きません。 一番軽いGUI環境 Novell xgl Linuxが使えるネットワークエンジニアとは? Linux 派国会議員 x-windowログ 私がお勧めするLinux便利機能! Windows用無線LANカード Linuxを使いはじめた時”すげー”と思ったところ nfsrootでpam失敗? Linux始めるなら もっとも安価で電気代の安いサーバ Yellow Dog Linux 【愛知、常駐プログラマ募集】 [Q]GPLの解釈について(ソース開示の必要性) Linux デスクトップはこんな感じです! gvでpdfを表示する方法 日本でVPS (英語 - English) ロードアベレージ CPUの可能性 ご教示下さい DellからLinuxプレインストールマシン発売 fedora9日本語入力メソッドのインストールに悪戦苦闘中です。 おすすめを問います。 samba共有ファイルの更新日時について LPIC試験勉強に最適なディストリビューションを教えてください。 CPUの増設方法 PDFファイル上で動画再生 Linuxのコマンドで 監視ツールの導入・運用 MacintoshにLinuxを入れたい SATAの対応は? Linus Torvalds、Macにスイッチ! GNOME vs KDE 皮を剥いで見る?!。 タブレットの設定変更について ☆教えて☆Linuxをマスターしたい Linux/Unixの経験を活かして海外で働きませんか? 急成長中のベンチャー企業で働いてみたいとおもいませんか?! 探してます Linux デスクトップの普及 ■お仕事(=転職)案件のご相談です■ 問題集につきまして Linuxのあるべき姿と今後の未来像 SSH鍵認証 Lpicレベル1の講習 教えてください git Turbolinux Fuji install 弐萬圓PC堂? Powered by Linux ファイルシステムについて 転職希望者の方!! suidについて MXレコードの解決ができず、メールが外部から送受信できません。。 CentOS5.2+openssh5.0pでchrootできる?? sendmailのaliasについて Linus さんち eth0、eth1の呼び方 教えてください。 Squidで/etc/hostsの定義で自分自身を指定した場合 教えてくださいFlashplayerのPlug-inの方法を くだらない質問かもしれませんが… ez-ipupdate-3.0.11b7のインストールがうまくいきません maildropの入門書 kernel panic でサーバが止まってます。 f77 ご教授お願いします。 CentOS vs Fedora Core 初めまして 外付けHDD 質問 rpm パッケージの分解 Hadoopのクラスタ化について Hadoopについて pidからstatusを得るAPIって有りますか? ●格安IT塾開校★講師は東大卒! オープンソースOSのTorrentサイトを公開しました。

サイト内検索