diff options
Diffstat (limited to 'coin/instructions/make_instructions.yaml')
-rw-r--r-- | coin/instructions/make_instructions.yaml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/coin/instructions/make_instructions.yaml b/coin/instructions/make_instructions.yaml index 4a4eb2281..f9f1dd406 100644 --- a/coin/instructions/make_instructions.yaml +++ b/coin/instructions/make_instructions.yaml @@ -30,6 +30,16 @@ instructions: maxTimeBetweenOutput: 3600 userMessageOnFailure: "Failed to run make, check logs." - type: ExecuteCommand + command: ['make', 'html_docs'] + maxTimeInSeconds: 36000 + maxTimeBetweenOutput: 3600 + userMessageOnFailure: 'Could not build documentation.' + - type: UploadArtifact + archiveDirectory: '{{.BuildDir}}/doc' + transferType: UploadModuleDocumentation + maxTimeInSeconds: 1800 + maxTimeBetweenOutput: 1800 + - type: ExecuteCommand command: "make install INSTALL_ROOT={{.InstallRoot}}" maxTimeInSeconds: 1800 maxTimeBetweenOutput: 600 @@ -52,6 +62,16 @@ instructions: maxTimeBetweenOutput: 3600 userMessageOnFailure: "Failed to run jom/make, check logs." - type: ExecuteCommand + command: ['jom', 'html_docs'] + maxTimeInSeconds: 36000 + maxTimeBetweenOutput: 3600 + userMessageOnFailure: 'Could not build documentation.' + - type: UploadArtifact + archiveDirectory: '{{.BuildDir}}\\doc' + transferType: UploadModuleDocumentation + maxTimeInSeconds: 1800 + maxTimeBetweenOutput: 1800 + - type: ExecuteCommand command: "nmake install INSTALL_ROOT={{.InstallRoot}}" maxTimeInSeconds: 1800 maxTimeBetweenOutput: 600 |