Motif GUI example. UNIX executable ready. Post: 303042111

9 More Discussions You Might Find Interesting

1. UNIX for Dummies Questions & Answers

If a is windows gui ( client), b is a unix gui ( Server for a) and c is a shell scrip

Hello all, 1) I want to have a GUI application that will call Unix shell scripts, 2) that GUI application should be able to reside on windows ( if possible) and then call Unix shell script either directly or through a server residing on unix. That is for example. If a is windows gui (...

2. Solaris

Is Unix/Solaris 10 ready for professional Desktop need?

There is little or no gaming available without the use of emulation or virtualization. There is no support for Xen in Solaris 10, you will have to Nevada to get that which also means no XP apps unless you can get them to run in Wine. It is unlikely that windows only hardware will be supported.

3. UNIX for Dummies Questions & Answers

Cannot run UNIX executable !

I have installed the Darwin Calendar Server on my Mac and got it working. To start the server I open a Finder window on my mac and click the UNIX executable called RUN. In order to start the server automatically on bootup I used LINGON to add a startup Daemon to call "RUN -d". When I reboot...

4. Shell Programming and Scripting

unix executable file

Hi - How can I find out under sh whitch file is an unix executable file? Need it for an software inventory. Thanks in advance. Regards - Lazybaer

5. Shell Programming and Scripting

Create GUI or Executable For Script

Hi all. I've got a unix script at work that I just got done with. Now they want me to write some simple way to run it on Windows. Right now we log into a Solaris server using Hummingbird Exceed to gain a terminal. Im thinking that there really isn't any good way to get Windows and the server...

6. OS X (Apple)

Plist to Unix Executable

I'm using an old conversion method for converting a plist into an XML file, but that's not what I'm needing just via terminal now. What I'm looking for is an answer to convert a plist file into an executable. I'd like to import it into Casper and have the JSS push it out onto an image. In this...

7. Solaris

Motif 2.1 migration from Motif 1.2

An application was getting built using Motif 1.2 that used come along Solaris 6 OS for compiling and linking. Application is run using Motif 2.1 on Solaris 10 and it is working fine. Application compilation and linking is working fine on Solaris 10 with Motif 2.1.0 but running the application...

8. UNIX for Beginners Questions & Answers

Motif gui programming !

MOTIF GUI PROGRAMMING ! Hi there. I am a MOTIF GUI Programmer in C language. After a longer break i have problems with the GCC compiling. my MOTIF file is named winstack.c I have the follow code gcc -o newprogram winstack.c -lXm -lXt -lX11 The compilation runs good. But no executable LINUX...

9. UNIX for Beginners Questions & Answers

I'll be a professional MOTIF GUI programmer.

I'll be a professional MOTIF GUI programmer. And nothing will stop me. Nothing. :)

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)