binutils... missing ld when building Post: 302201788

9 More Discussions You Might Find Interesting

1. IP Networking

building a server

hi, i am a pretty good linux user..but i have no idea on building a server witha domain and everthing. please help!

2. UNIX for Dummies Questions & Answers

Hi, im building a new PC for my FreeBSD - sorry it's not really UNIX related but I dont really visit any other online forums, and lost ideas of people to ask, Basically would it work if bought this motherboard -...

3. UNIX for Dummies Questions & Answers

Building Pipelines?

How would I combine commands in a pipeline to produce an alphabetized list of who's online at a particular moment? Then: How would I take that pipeline and turn it into a command called "whoison"?

4. UNIX and Linux Applications

Help with building firewall

Hi, I've installed firewall builder into my operating system (PCLinuxOS) from the repository. Now I need to configure and make run firewall builder in the main server (production server) of my company. The technique that I want to use is pushing the script from my laptop (where I've got the...

5. SuSE

How to resolve missing missing dependencies with opensuse 11.3 and 12.3?

Hello, This is a programming question as well as a suse question, so let me know if you think I should post this in programming. I have an application that I compiled under opensuse 12.2 using g77-3.3/g++3.3. The program compiles and runs just fine. I gave the application to a colleague who...

6. Red Hat

Yum - resolving missing dependencies that are not missing

I am trying to install VirtualBox on RHEL 5 but I need the 32 bit version for 32 bit Windows. When I run yum I get the following: sudo yum localinstall /auto/spvtg-it/spvss-migration/Software/VirtualBox-4.3-4.3.2_90405_el6-1.i686.rpm Loaded plugins: fastestmirror Setting up Local Package...

7. UNIX for Dummies Questions & Answers

Building intervals

Hi all, I hope you can help me with the following question: I have multiple tables like this: Chr Start End Zygosity Gene chr1 153233510 153233510 het LOR chr1 153233615 153233615 hom LOR chr1 153233701 153233701 hom LOR chr1 ...

8. UNIX for Beginners Questions & Answers

Building a Compiler

In an earlier thread, I mentioned that I needed something like Netcat or Socat to create a serial > IP connection. I realized after some thought that I had downloaded the netcat tarball, unpacked it and ended up with the uncompiled program. I attempted to put it together with cc and discovered that...

9. Shell Programming and Scripting

Linux From Scratch Permission Error when installing Binutils-2.27 Package

Hello, I recently decided to create a Linux Operating System from Scratch using the Linux from Scratch Guide. Everything was going great until it was time to finish installing the package Binutils-2.27. Once I entered "make install" into the terminal, I get this error: make: Entering directory...

LEARN ABOUT DEBIAN

hol-light

HOL-LIGHT(1)						      General Commands Manual						      HOL-LIGHT(1)

NAME

       hol-light - HOL Light interactive theorem prover

SYNOPSIS

       hol-light [options...]

DESCRIPTION

       The  command  hol-light	is  a  simple  wrapper	for  calling ocaml and loading the HOL Light basic definitions (by loading /usr/share/hol-
       light/hol.ml instead of .ocamlinit as initialization file). Loading these definitions takes about 2 minutes on modern hardware,	please	be
       patient. All options and other arguments are passed as options to ocaml.

       If you have a readline-editor such as rlwrap, ledit or rlfe installed, the hol-light ocaml toplevel is wrapped in readline-editor.  Install
       just one of these readline editors or configure your preferred one via the alternative system.

SEE ALSO

       ocaml(1), readline-editor(1), rlwrap(1), ledit(1), rlfe(1)
       HOL Light documentation at http://www.cl.cam.ac.uk/~jrh13/hol-light/

AUTHOR

       The hol-light script and this manual page were written by Hendrik Tews <hendrik@askra.de>, specifically for the Debian project (and may	be
       used by others).

								  March  16, 2012						      HOL-LIGHT(1)

9 More Discussions You Might Find Interesting

1. IP Networking

building a server

Discussion started by: hamza11050

2. UNIX for Dummies Questions & Answers

Building a new PC

Discussion started by: ErNci

3. UNIX for Dummies Questions & Answers

Building Pipelines?

Discussion started by: greeky