Read Sean

          Read me, read Sean.
          posts - 508, comments - 655, trackbacks - 9, articles - 4

          導航

          公告


          • 關于我
          • 人生是一場對話
          • gaoyuxiang AT gmail DOT com
          • titlelogo.png

          • 我的譯作
          • Scala for the Impatient
          • Open Source SOA
          • Programming in Scala

          • 聲明
          • 所有文章和代碼在這里以"現狀"提供,作者不提供任何形式的擔保,也沒有授予除閱讀和有條件共享之外的任何權利。除非特別說明,所有文章均為本blog作者原創,如需轉載請注明出處和原作者,如用于商業目的,需作者本人書面許可。

          • 推薦文章
          • Pylons起步

          常用鏈接

          留言簿(29)

          隨筆分類(842)

          隨筆檔案(507)

          文章檔案(4)

          Friends' blogs

          搜索

          •  

          積分與排名

          • 積分 - 783648
          • 排名 - 54

          最新評論

          閱讀排行榜

          評論排行榜

          [TPTP]關于TPTP的快速簡明安裝

          Posted on 2005-11-10 23:14 laogao 閱讀(3832) 評論(0)  編輯  收藏 所屬分類: On Eclipse

          為了學習和使用TPTP,并且基于此開發自定義的測試工具,我們需要安裝和配置Eclipse環境。為了減輕大家到處查看英文網頁的負擔,在這里做個簡要說明:

          1- 下載和安裝JDK:
          http://java.sun.com/j2se/1.5.0/download.jsp
          目前最新的是JDK 5.0 Update 5

          2- 下載和安裝Eclipse SDK:
          http://eclipse.org/downloads/index.php
          目前最新的版本是3.1.1,解壓即可。
          http://download.eclipse.org/downloads/drops/R-3.1.1-200509290840/index.php

          3- 下載EMF SDK 2.1.1:
          http://www.eclipse.org/downloads/download.php?file=/tools/emf/downloads/drops/2.1.1/R200509281310/emf-sdo-SDK-2.1.1.zip
          這是TPTP依賴的SDK,解壓到Eclipse SDK相同的目錄。

          4- 下載XSD SDK 2.1.1:
          http://www.eclipse.org/downloads/download.php?file=/tools/emf/downloads/drops/2.1.1/R200509281310/xsd-SDK-2.1.1.zip
          這是TPTP依賴的SDK,解壓到Eclipse SDK相同的目錄。

          5- 下載TPTP SDK 4.0.1:
          http://www.eclipse.org/downloads/download.php?file=/tptp/4.0.1/TPTP-4.0.1-200510031151/tptp.sdk-TPTP-4.0.1-200510031151.zip
          解壓到Eclipse SDK相同的目錄。

          6- 啟動Eclipse:
          直接點eclipse/eclipse.exe啟動,如果發現TPTP無法加載,使用-clean參數執行eclipse.exe一次。



          // 歡迎光顧http://www.eclipseworld.org/thread.php?fid=72中國Eclipse社區TPTP版參與相關話題討論。

          主站蜘蛛池模板: 陆河县| 鹤壁市| 融水| 札达县| 博兴县| 陕西省| 车致| 孝义市| 鹰潭市| 莆田市| 宜春市| 若尔盖县| 台北县| 同心县| 嘉禾县| 鄱阳县| 延吉市| 临泽县| 邻水| 武强县| 仲巴县| 南城县| 陇南市| 平武县| 北票市| 临桂县| 正蓝旗| 福州市| 右玉县| 玉环县| 芒康县| 巴里| 杨浦区| 三穗县| 清水县| 馆陶县| 三都| 顺义区| 定西市| 大厂| 砚山县|