欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
EasyACE
| 第1行: | 第1行: | ||
Huihoo ACE5.4/TAO1.4  | Huihoo ACE5.4/TAO1.4  | ||
| + | |||
Version code : TAO1.4ACE5.4_WIN_NoMFC_Release_03162006  | Version code : TAO1.4ACE5.4_WIN_NoMFC_Release_03162006  | ||
| + | |||
Size :39.8M  | Size :39.8M  | ||
| 第12行: | 第14行: | ||
Huihoo ACE5.4/TAO1.4 Organisation  | Huihoo ACE5.4/TAO1.4 Organisation  | ||
| + | |||
It's compiled by VC6 sp5,no MFC and release option on windows XP. The  | It's compiled by VC6 sp5,no MFC and release option on windows XP. The  | ||
| + | |||
Directory struct is as following:  | Directory struct is as following:  | ||
| − | . bin - all the executable and dll files  | + |  . bin - all the executable and dll files  | 
| − | . idl - all the idl files that make up this distribution  | + |  . idl - all the idl files that make up this distribution  | 
| − | . include - all the include files  | + |  . include - all the include files  | 
| − | . lib - all the librarie files  | + |  . lib - all the librarie files  | 
| − | . src - the source code with the entire distribution. Demos,documents and  | + |  . src - the source code with the entire distribution. Demos,documents and  | 
| + | |||
other files can be found in  | other files can be found in  | ||
Setting up the environment  | Setting up the environment  | ||
| + | |||
In order to operate TAO/ACE correctly, some environment must be set:  | In order to operate TAO/ACE correctly, some environment must be set:  | ||
| − | . ACE_ROOT  | + |  . ACE_ROOT  | 
| − | set ACE_ROOT=<TAO installation directory>  | + |   set ACE_ROOT=<TAO installation directory>  | 
| − | . TAO_ROOT  | + |  . TAO_ROOT  | 
| − | set TAO_ROOT=<TAO installation directory>  | + |   set TAO_ROOT=<TAO installation directory>  | 
| − | . TAO_IDL  | + |  . TAO_IDL  | 
| − | set TAO_IDL=<TAO Installation directory>bintao_idl.exe  | + |   set TAO_IDL=<TAO Installation directory>bintao_idl.exe  | 
| − | . PATH  | + |  . PATH  | 
| − | set PATH=%TAO_ROOT%/bin;%TAO_ROOT%/lib;%PATH%  | + |   set PATH=%TAO_ROOT%/bin;%TAO_ROOT%/lib;%PATH%  | 
For more information ,pls refer to TAO's website(http://www.cs.wustl.edu/~schmidt/).  | For more information ,pls refer to TAO's website(http://www.cs.wustl.edu/~schmidt/).  | ||
| − | |||
下载地址:http://download.huihoo.com/huihoo/ace-tao/  | 下载地址:http://download.huihoo.com/huihoo/ace-tao/  | ||
2006年8月6日 (日) 08:02的版本
Huihoo ACE5.4/TAO1.4
Version code : TAO1.4ACE5.4_WIN_NoMFC_Release_03162006
Size :39.8M
Contacter and Author : [email protected]
Introduction It's a ACE5.4/TAO1.4 stable version pre-compiled and neatened by Huihoo opensource community (http://www.huihoo.com), which can help developers avoid wasting their time on compiling and pay more attention on how to use this powerful tool.
Huihoo ACE5.4/TAO1.4 Organisation
It's compiled by VC6 sp5,no MFC and release option on windows XP. The
Directory struct is as following:
. bin - all the executable and dll files . idl - all the idl files that make up this distribution . include - all the include files . lib - all the librarie files . src - the source code with the entire distribution. Demos,documents and
other files can be found in
Setting up the environment
In order to operate TAO/ACE correctly, some environment must be set:
. ACE_ROOT set ACE_ROOT=<TAO installation directory> . TAO_ROOT set TAO_ROOT=<TAO installation directory> . TAO_IDL set TAO_IDL=<TAO Installation directory>bintao_idl.exe . PATH set PATH=%TAO_ROOT%/bin;%TAO_ROOT%/lib;%PATH%
For more information ,pls refer to TAO's website(http://www.cs.wustl.edu/~schmidt/).