09-26-2014
Thank you for you answer.
I don't know Lustre before, I will take a look on it.
To your second thought: I will avoid to run a VM, but If there is a no other way, than I would.
I don't understand correctly what you mean with homogenous and heterogenous ? Which tactics are also available ?
If I want a remote access with vnc, I need a X Window System ?! Or I'm misguided ?
But there are a lot of other questions I asked in my first post ? Is there anybody else, who can help me ?
4 More Discussions You Might Find Interesting
1. UNIX for Advanced & Expert Users
my Querry is
if i build a software on a specific linux kernel
and then try to run it on another linux kernel
....what can be the possible problems
or what errors can most probably appear while running the binary in an updated version of linux. (1 Reply)
Discussion started by: mobydick
1 Replies
2. High Performance Computing
Provides a description of how to set up a Solaris Cluster Express cluster in a VirtualBox on OpenSolaris.
More... (0 Replies)
Discussion started by: Linux Bot
0 Replies
3. High Performance Computing
Hi Guys,
I'm busy building a LVS-NAT cluster on Red-Hat server 5.1 and I need a kernel that has LVS capabilities for a red-hat server 5.1. Is the anyone who can advise me where I can get this kernel. I have already visited the following site Ultra Monkey: and this has old kernels e.g. 2.4.20... (2 Replies)
Discussion started by: Linux Duke
2 Replies
4. Red Hat
Hi,
I would like to know wheather any free cluster software is coming with Red Hat Ent Linux Medias? or needs to be purchased seperately. (3 Replies)
Discussion started by: manoj.solaris
3 Replies
LEARN ABOUT DEBIAN
coqmktop
COQ(1) General Commands Manual COQ(1)
NAME
coqmktop - The Coq Proof Assistant user-tactics linker
SYNOPSIS
coqmktop [ options ] files
DESCRIPTION
coqmktop builds a new Coq toplevel extended with user-tactics. files are the Objective Caml object or library files (i.e. with suffix
.cmo, .cmx, .cma or .cmxa) to link with the Coq system. The linker produces an executable Coq toplevel which can be called directly or
through coqc(1), using the -image option.
OPTIONS
-h Help. List the available options.
-srcdir dir
Specify where the Coq source files are
-o exec-file
Specify the name of the resulting toplevel
-opt Compile in native code
-full Link high level tactics
-top Build Coq on a ocaml toplevel (incompatible with -opt)
-searchisos
Build a toplevel for SearchIsos
-ide Build a toplevel for the Coq IDE
-R dir Specify recursively directories for Ocaml
-v8 Link with V8 grammar
SEE ALSO
coqtop(1), ocamlmktop(1). ocamlc(1). ocamlopt(1).
The Coq Reference Manual. The Coq web site: http://coq.inria.fr
April 25, 2001 COQ(1)