tjh.dev
1{ stdenv, makeWrapper, requireFile, unzip, openjdk }:
2
3stdenv.mkDerivation rec {
4 name = "sqldeveloper-4.1.1.19.59";
5
6 src = requireFile {
7 name = "${name}-no-jre.zip";
8 url = "http://www.oracle.com/technetwork/developer-tools/sql-developer/downloads/";
9 sha256 = "1dbbqlz11zps9w5qvzlcv5rdv43s25c3mbzf8il1px4m2j33y3rv";
10 };
11
12 buildInputs = [ makeWrapper unzip ];
13
14 buildCommand = ''
15 mkdir -p $out/bin
16 echo >$out/bin/sqldeveloper '#! ${stdenv.shell}'
17 echo >>$out/bin/sqldeveloper 'export JAVA_HOME=${openjdk}/lib/openjdk'
18 echo >>$out/bin/sqldeveloper 'export JDK_HOME=$JAVA_HOME'
19 echo >>$out/bin/sqldeveloper "cd $out/lib/${name}/sqldeveloper/bin"
20 echo >>$out/bin/sqldeveloper '${stdenv.shell} sqldeveloper "$@"'
21 chmod +x $out/bin/sqldeveloper
22
23 mkdir -p $out/lib/
24 cd $out
25 unzip ${src}
26 mv sqldeveloper $out/lib/${name}
27 '';
28
29 meta = with stdenv.lib; {
30 description = "Oracle's Oracle DB GUI client";
31 longDescription = ''
32 Oracle SQL Developer is a free integrated development environment that
33 simplifies the development and management of Oracle Database in both
34 traditional and Cloud deployments. SQL Developer offers complete
35 end-to-end development of your PL/SQL applications, a worksheet for
36 running queries and scripts, a DBA console for managing the database,
37 a reports interface, a complete data modeling solution, and a migration
38 platform for moving your 3rd party databases to Oracle.
39 '';
40 homepage = "http://www.oracle.com/technetwork/developer-tools/sql-developer/overview/";
41 license = licenses.unfree;
42 maintainers = [ maintainers.ardumont ];
43 platforms = platforms.linux;
44 };
45}