mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2024-12-25 08:21:04 -06:00
48 lines
1.2 KiB
Plaintext
48 lines
1.2 KiB
Plaintext
This directory contains the build runner script for creating .DEB packages for
|
|
Debian and Ubuntu.
|
|
|
|
Build configuration
|
|
===================
|
|
|
|
To build Debian/Ubuntu packages, first run the setup.sh script as root to
|
|
install the required pre-requisites, e.g.
|
|
|
|
# pkg/debian/setup.sh
|
|
|
|
Building packages
|
|
=================
|
|
|
|
To build a set of packages, from the top-level source directory run:
|
|
|
|
$ make debian
|
|
|
|
or
|
|
|
|
$ pkg/debian/build.sh
|
|
|
|
Four .deb packages will be created in the dist/ directory:
|
|
|
|
pgadmin4_<version>_<distro>_<distro_version>_all.deb
|
|
A convenience package that depends on all the others.
|
|
|
|
pgadmin4-server_<version>_<distro>_<distro_version>_<arch>.deb
|
|
The core server, e.g. the Python and JS code and the online documentation.
|
|
|
|
pgadmin4-desktop_<version>_<distro>_<distro_version>_<arch>.deb
|
|
The desktop runtime. Requires the server package.
|
|
|
|
pgadmin4-web_<version>_<distro>_<distro_version>_<arch>.deb
|
|
The server mode setup script for configuring Apache HTTPD. Requires the
|
|
server package.
|
|
|
|
Supported platforms
|
|
===================
|
|
|
|
Debian 9 & 10
|
|
Ubuntu 16.04, 18.04, 19.04 & 19.10
|
|
|
|
Warning
|
|
=======
|
|
|
|
These scripts are experimental - use at your own risk!
|