boinc@MacBook-Pro-de-Clement ~/Documents/pipcore (master) $ make gettingstarted
COQDEP proof/invariants/WritePhyEntry.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/WriteAccessibleRec.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/WriteAccessible.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/UpdateShadow2Structure.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/UpdateShadow1Structure.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/UpdatePartitionDescriptor.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/UpdatePDFlagTrue.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/UpdateMappedPageContent.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/RemoveVAddr.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/PropagatedProperties.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/Prepare.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/MapMMUPage.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/Invariants.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/InitVEntryTable.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/InitVAddrTable.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/InitSndShadow.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/InitPEntryTable.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/InitFstShadow.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/InitConfigPagesList.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/GetTableAddr.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/DeletePartition.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/CreatePartition.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/CountToMap.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/Collect.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/CheckChild.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/AddVAddr.v
/bin/sh: coqdep: command not found
COQDEP proof/invariants/Activate.v
/bin/sh: coqdep: command not found
COQDEP proof/WeakestPreconditions.v
/bin/sh: coqdep: command not found
COQDEP proof/StateLib.v
/bin/sh: coqdep: command not found
COQDEP proof/Lib.v
/bin/sh: coqdep: command not found
COQDEP proof/Isolation.v
/bin/sh: coqdep: command not found
COQDEP proof/InternalLemmas.v
/bin/sh: coqdep: command not found
COQDEP proof/DependentTypeLemmas.v
/bin/sh: coqdep: command not found
COQDEP proof/Consistency.v
/bin/sh: coqdep: command not found
COQDEP src/model/Simulation.v
/bin/sh: coqdep: command not found
COQDEP src/model/MMU.v
/bin/sh: coqdep: command not found
COQDEP src/model/MALInternal.v
/bin/sh: coqdep: command not found
COQDEP src/model/MAL.v
/bin/sh: coqdep: command not found
COQDEP src/model/Lib.v
/bin/sh: coqdep: command not found
COQDEP src/model/Hardware.v
/bin/sh: coqdep: command not found
COQDEP src/model/Extraction.v
/bin/sh: coqdep: command not found
COQDEP src/model/ADT.v
/bin/sh: coqdep: command not found
COQDEP src/core/Services.v
/bin/sh: coqdep: command not found
COQDEP src/core/Internal.v
/bin/sh: coqdep: command not found
cd doc/GettingStarted && pdflatex GettingStarted.tex
/bin/sh: pdflatex: command not found
make: *** [gettingstarted] Error 127