Arduino: should fetch files in fetch phase and not in build phase

[giansalvo (gians)]

The Arduino port is fetching supplementary files apart from the main tarball during the build phase. This should be avoided. I tried to modify the Portfile using curl in the post-fetch phase:

post-fetch {
    system "curl -O https://downloads.arduino.cc/appbundler-1.0ea-arduino4.jar.zip"
}

but I get this error:

Error: Failed to fetch Arduino: can not find channel named "/opt/local/var/macports/build/_private_var_tmp_Arduino/Arduino/work/Arduino-2b11e94afe85888bd5ebd507de6c6e0220a49bf3"

I'm not sure if using curl is the right way either. Is there any other Portfile I can look at? Please advise about the correct way for downloading extra files in the fetch phase.

[jmroot (Joshua Root)]

You would normally append to master_sites and distfiles (possibly using tags to indicate which distfiles are available from which sites) and set extract.only if not all of the distfiles should be extracted into the workdir.

[giansalvo (gians)]

I found out how to use master_sites-append and distfiles-append to fetch several files. I'm attaching the current Portfile.

The problem now is that Arduino requires to download several files with the same filename but with different master_sites and different final destinations: for example one file named 1.0.6.zip must be fetched from ​https://github.com/arduino-libraries/GSM/archive/1.0.6.zip and must be moved to .../build/GSM-1.0.6.zip, another file with the same name must be fetched from ​https://github.com/arduino-libraries/TFT/archive/1.0.6.zip and goes to .../build/TFT-1.0.6.zip.

Is there a way to rename files while fetching or to download them into a path specific to each file?

[ryandesign (Ryan Carsten Schmidt)]

Yes: Use this recipe.

[giansalvo (gians)]

Replying to ryandesign:

Yes: Use recipe.

Sorry, I don't think this recipe applies to my case.

In my case I need to download two files with the same filename from different sites. Let's say I need to fetch both:

http://site1/myfile.zip
http://site2/myfile.zip

How shold I set master_sites and distfiles and checksumsin this case?

[giansalvo (gians)]

Opened PR ​https://github.com/macports/macports-ports/pull/3733