Opened 17 years ago

Last modified 11 years ago

#130 new enhancement

Add project batch builder

Reported by: David Aspinall Owned by: Graham Dutton
Priority: minor Milestone:
Component: 1:pg-eclipse Keywords:
Cc:

Description

Add a project batch builder to build the whole project using a given compilation command.

Attachments (1)

mylyn-context.zip​ (871 bytes) - added by David Aspinall 17 years ago.
mylyn/context/zip

Download all attachments as: .zip

Change History (3)

comment:1 Changed 17 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.6 → PG-Eclipse-1.0.7
Owner: changed from David Aspinall to Graham Dutton

I've added compilation commands as prover preferences: PREF_PROVER_FILE_BATCH_BUILD_COMMAND and PREF_PROVER_PROJECT_BATCH_BUILD_COMMAND. ProofBuilder can be enhanced to use these.

Changed 17 years ago by David Aspinall

Attachment: mylyn-context.zip​ added

mylyn/context/zip

comment:2 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.7

Milestone PG-Eclipse-1.0.7 deleted

Note: See TracTickets for help on using tickets.