No such directory

[danielleevandenboschtand]

I tried to run the following:
CREATE EXTENSION tinyint;
And it returned me the following error:

[2020-09-01 13:44:05] [58P01] ERROR: could not open extension control file "/usr/share/postgresql/12/extension/tinyint.control": No such file or directory
What is the method to resolve this?

[krmgns]

@danielleevandenboschtand You should download and compile it first, then you can run CREATE EXTENSION proc. See the README on https://github.com/k-gun/tinyint-postgresql.