Add RV-Install to Jenkins

[pdaian]

Hi @traiansf ,

Any chance of getting the following on Jenkins -

A build job for this repo which runs ant whenever master is updated, and pushes any JAR's generated in the dist subdirectory (eg - dist/rv-install-0.1.jar) to their corresponding location on runtimeverification.com/dist (eg - runtimeverification.com/dist/rv-install-0.1.jar)?

I will forward you the required credentials for SFTP via email within 5 minutes. I think we should have similar jobs for RV-Monitor, RV-Predict, and JavaMOP (which will all soon have dist folders) so we have a central "repository" for all our products at dist/ (as a temporary solution until we can move to Maven, and even afterwards for distribution).

[grosu]

Please do NOT do this before the tutorial!!! These things need to be thoroughly tested first. I wouldn't risk to have the tutorial fail because of a "minor" bug. We have plenty of time to do it after July 8.

Grigore

---

From: Philip Daian [notifications@github.com]
Sent: Tuesday, July 01, 2014 4:53 PM
To: runtimeverification/rv-install
Subject: [rv-install] Add RV-Install to Jenkins (#1)

Hi @traiansfhttps://github.com/traiansf ,

Any chance of getting the following on Jenkins -

A build job for this repo which runs ant whenever master is updated, and pushes any JAR's generated in the dist subdirectory (eg - dist/rv-install-0.1.jar) to their corresponding location on runtimeverification.com/dist (eg - runtimeverification.com/dist/rv-install-0.1.jar)?

I will forward you the required credentials for SFTP via email within 5 minutes. I think we should have similar jobs for RV-Monitor, RV-Predict, and JavaMOP (which will all soon have dist folders) so we have a central "repository" for all our products at dist/ (as a temporary solution until we can move to Maven, and even afterwards for distribution).

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/1.

[traiansf]

OK, I'll keep it in mind. It's pretty simple to implement, but it can wait.

best wishes,
Traian

2014-07-02 0:59 GMT+03:00 Grigore Rosu notifications@github.com:

Please do NOT do this before the tutorial!!! These things need to be
thoroughly tested first. I wouldn't risk to have the tutorial fail because
of a "minor" bug. We have plenty of time to do it after July 8.

Grigore

---

From: Philip Daian [notifications@github.com]
Sent: Tuesday, July 01, 2014 4:53 PM
To: runtimeverification/rv-install
Subject: [rv-install] Add RV-Install to Jenkins (#1)

Hi @traiansfhttps://github.com/traiansf ,

Any chance of getting the following on Jenkins -

A build job for this repo which runs ant whenever master is updated, and
pushes any JAR's generated in the dist subdirectory (eg -
dist/rv-install-0.1.jar) to their corresponding location on
runtimeverification.com/dist (eg -
runtimeverification.com/dist/rv-install-0.1.jar)?

I will forward you the required credentials for SFTP via email within 5
minutes. I think we should have similar jobs for RV-Monitor, RV-Predict,
and JavaMOP (which will all soon have dist folders) so we have a central
"repository" for all our products at dist/ (as a temporary solution until
we can move to Maven, and even afterwards for distribution).

—
Reply to this email directly or view it on GitHub<
https://github.com/runtimeverification/rv-install/issues/1>.

—
Reply to this email directly or view it on GitHub
#1 (comment)
.