board package install fails for Tiva C and perhaps others

[cyphunk]

http://energia.nu/downloads/download_core.php?file=tivac-1.0.2.tar.bz2 is the URL for the package currently used by the energia software but this returns a 404 URL not found error.

[cyphunk]

I tried downloading the tivac-core (https://github.com/energia/tivac-core) package and putting it in ~/.energia15/packages/energia/hardware (as indicated in http://energia.nu/guide/boards/) or in the directory where the pre-packaged msp430 board files sit ./energia-1.6.10E18/hardware/energia/. The boards do not show up

[cyphunk]

I started trying to repackage the tivac-core into a tar.gz and host it locally, changing the ./energia-1.6.10E18/dist/package_index.json and then signing it as found in https://github.com/robertinant/energia-package-index/blob/master/extra/publish_all. But, perhaps someone could direct me to where in Energia I could change the app to accept the package_index.json.sig which is signed by my private key?

[cyphunk]

cp ./energia-1.6.10E18/lib/public.gpg.key ./energia-1.6.10E18/lib/public.gpg.key.orig
cp ./energia-1.6.10E18/dist/package_index.json ./energia-1.6.10E18/dist/package_index.json.orig
cp ./energia-1.6.10E18/dist/package_index.json.sig ./energia-1.6.10E18/dist/package_index.json.sig.orig

I tar'ed up tivac-core and then hosted in on a web server. I modified the package_index.json to use that URL and I added the new sha256sum and file size. Then I created a new sig file and updated the public.gpg.key:

KEYID=B1431DEC1ECE24FFC9485BF2BDE6A074490F3380
KEYID=2719371714F4C6C07208A4B03D13F3C978779A24
gpg --default-key $KEYID --output ./energia-1.6.10E18/dist/package_index.json.sig --detach-sig ./energia-1.6.10E18/dist/package_index.json
gpg --export $KEYID > ./energia-1.6.10E18/lib/public.gpg.key

With a DSA key I key a "Object 13" failure. With an RSA key I get "can't find encryption key in key ring"

[cyphunk]

Was able to install the tivac-core using a slightly modified version of these instructions: https://github.com/OpenPanzerProject/OpenPanzerBoards

It says to unzip the downloaded tivac-core zip as {Arduino_Sketchbook_Folder}\hardware\tivac-core\ but infact I had to unzip it as {Arduino_Sketchbook_Folder}\hardware\tivac-core\tivac-core

Now I get a different issue though when compiling:

Build options changed, rebuilding all
In file included from /home/user/Energia/hardware/tivac/tivac/cores/tivac/Energia.h:4,
                 from /home/user/Energia/hardware/tivac/tivac/cores/tivac/Arduino.h:3,
                 from sketch/Debounce.ino.cpp:1:
/usr/lib/gcc/arm-none-eabi/8.2.0/include/stdint.h:9:16: fatal error: stdint.h: No such file or directory
 # include_next <stdint.h>
                ^~~~~~~~~~
compilation terminated.
exit status 1
Error compiling for board LaunchPad (Tiva C) w/ tm4c123 (80MHz).