84 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Profpatsch	796cbb6374	Update to 1.36.0 ... ran ./fetch.py	2020-11-06 11:58:48 +01:00
Profpatsch	89d9a49aee	Merge pull request #35 from TristanCacqueray/master ... Add dhall-docs-simple	2020-11-06 11:27:02 +01:00
Tristan Cacqueray	aa1dafc30d	Add dhall-docs-simple ... This change sets the dhall-docs-simple attribute to install the dhall-docs cli.	2020-11-03 19:02:00 +00:00
Justin Woo	3e9101c5df	Merge pull request #34 from spacchetti/dhall-1.35 ... Update to dhall-1.35	2020-09-11 22:59:05 +03:00
Fabrizio Ferrai	eb1297af3e	Update to dhall-1.35	2020-09-11 22:50:07 +03:00
Profpatsch	9095796985	Merge pull request #32 from Profpatsch/build-allow-multiple-binaries ... Build allow multiple binaries	2020-08-05 02:28:31 +02:00
Profpatsch	953cf8b3ea	feat(dhall-json): use build.nix ... Since we now support multiple binaries in build.nix, we can also use it for dhall-json.	2020-08-04 23:06:03 +02:00
Profpatsch	f0270205ee	feat(build): allow multiple binaries ... I gave in because I wanted to use yaml-to-dhall, so this implements copying multiple binaries.	2020-08-04 23:06:03 +02:00
Profpatsch	66da4ffe17	feat(build): check that we copied all binaries ... Sometmmes a new binary is added to an output, like in the `dhall-yaml` case, where yaml-to-dhall was added. This uses `lr` because I can’t be bothered to figure out how to use `find` to the same effect.	2020-08-04 23:06:03 +02:00
Profpatsch	0104f0fd3e	Merge pull request #31 from Profpatsch/add-zsh-and-fish-completions ... Add zsh and fish completions	2020-08-04 22:11:06 +02:00
Profpatsch	da2eab127d	Merge pull request #29 from Profpatsch/refactor-build.nix ... Refactor build.nix	2020-08-04 22:10:28 +02:00
Profpatsch	0529b4ff15	Merge pull request #30 from Profpatsch/update-1.34.0 ... Update to 1.34.0	2020-08-04 22:08:52 +02:00
Profpatsch	3ec7f3f0de	feat(dhall-*): add zsh and fish completions ... Uses the new optparse-applicative support for fish and zsh, and the nixpkgs `installShellCompletion` hook to automatically put the completions in the right directories.	2020-08-04 21:47:05 +02:00
Profpatsch	5b7632cbc4	fix(dhall-to-yaml-ng): fix completion ... The completion was pointing to an executable that did not exist in that output, the suffix `-ng` was missing.	2020-08-04 21:30:56 +02:00
Profpatsch	e207b5c2c6	refactor(dhall-*): put common parts into build.nix ... The files are very self-similar, and provided upstream doesn’t do something completely crazy, they should stay that way. dhall-json is more complicated, and it wasn’t worth it implemented something more complicated in build.nix, so for now it stays the same.	2020-08-04 21:30:56 +02:00
Profpatsch	27328f4731	Update to 1.34.0	2020-08-04 21:22:12 +02:00
Profpatsch	7c22a145fc	Merge pull request #28 from aszlig/fetchzip ... Switch to using fetchzip instead of fetchurl	2020-07-13 00:12:27 +02:00
aszlig	65a30e2c0c	Switch to using fetchzip instead of fetchurl ... GitHub's source tarballs are created in a non-deterministic way and the order the entries are added is not stable. In nixpkgs, there is fetchFromGitHub which works around this issue by being a wrapper around fetchzip and since we're already using the full URL to the corresponding GitHub archives, I switched to fetchzip instead to keep the changes minimal. Signed-off-by: aszlig <aszlig@nix.build>	2020-07-12 20:42:28 +02:00
Justin Woo	288ee825c3	Merge pull request #27 from trskop/master ... Using install-nix-actions per Justin's advice	2020-07-03 13:05:22 +03:00
Peter Trško	da3e352a1c	fixup! Using install-nix-actions per Justin's advice	2020-07-03 10:36:48 +01:00
Peter Trško	5b9961e78a	Using install-nix-actions per Justin's advice ... For more information see comments in justinwoo/easy-dhall-nix#26	2020-07-03 10:30:56 +01:00
Peter Trško	d15b593628	Update to 1.33.1	2020-07-03 09:20:24 +01:00
Justin Woo	62f6ab3eec	Merge pull request #25 from justinwoo/fix-sha ... fix sha for dhall releases???	2020-05-24 21:17:36 +03:00
justinwoo	5bd98d2959	fix sha for dhall releases???	2020-05-24 21:11:20 +03:00
Justin Woo	27edaa0c76	Merge pull request #24 from Profpatsch/master ... Update to 1.32.0	2020-05-09 21:09:45 +03:00
Profpatsch	56bd5b6507	Update to 1.32.0	2020-05-09 20:02:04 +02:00
Justin Woo	35bca5ba56	Merge pull request #22 from spacchetti/update-1.31.1 ... Update to 1.31.1	2020-04-04 12:53:43 +02:00
Fabrizio Ferrai	1698c83a36	Update to 1.31.1	2020-04-04 10:42:07 +02:00
Profpatsch	45f165d127	Merge pull request #21 from Profpatsch/master ... dhall-json-simple: add json-to-dhall and dhall-yaml	2020-03-31 02:07:12 +02:00
Profpatsch	dd4e3f6c36	dhall-json-simple: add json-to-dhall and dhall-yaml ... There’s more stuff now. Maybe we should have a check that we don’t miss when they add binaries?	2020-03-31 00:13:53 +02:00
Profpatsch	aa9db8eb24	Merge pull request #20 from Profpatsch/master ... Add fetcher script and update to dhall 1.31.0	2020-03-30 23:32:40 +02:00
Profpatsch	b8267b1988	update 1.31 ... Use the `fetch.py` script to update to dhall 1.31 and add some instructions on how to do it.	2020-03-29 22:29:08 +02:00
Profpatsch	fd60026375	Add fetch.py, for auto-updating to the newest version ... A small python script, which nix-prefetch-url’s the latest dhall-haskell release and puts it in a json file.	2020-03-29 22:29:08 +02:00
Justin Woo	c86e600983	Merge pull request #19 from jhenahan/add-lsp ... Dhall LSP releases	2020-03-27 17:39:04 +01:00
Jack Henahan	e758f79ae2	Dhall LSP releases	2020-03-27 11:32:53 -04:00
Peter Trško	4f6da8c7e7	Merge pull request #18 from trskop/master ... Update to 1.30	2020-02-19 11:34:34 +00:00
Peter Trsko	cead668b72	Update to 1.30	2020-02-19 11:26:39 +00:00
justinwoo	735ad924fd	dhall yaml binary name was changed for some reason	2020-02-05 21:59:39 +02:00
Justin Woo	29769888e2	Merge pull request #17 from bluekezza/master ... add dhall-to-yaml-ng	2020-01-24 18:29:39 +02:00
James Carey	e181280124	add dhall-to-yaml-ng	2020-01-24 14:48:58 +00:00
Justin Woo	1aa3b306e4	Merge pull request #16 from trskop/master ... Update to 1.29	2020-01-14 18:18:39 +02:00
Peter Trsko	05bd43e7c3	Update to 1.29	2020-01-14 16:08:17 +00:00
Justin Woo	7e063af9bd	Merge pull request #15 from justinwoo/1.28 ... update 1.28	2019-12-19 14:09:51 +09:00
justinwoo	af82f8a0fa	wtf osx	2019-12-19 14:07:49 +09:00
justinwoo	ab53c99562	update 1.28	2019-12-19 14:04:31 +09:00
Justin Woo	e0b4e37a6e	Merge pull request #14 from justinwoo/1.27.0 ... update to 1.27.0	2019-10-21 12:52:57 +03:00
justinwoo	eb6737b18a	update to 1.27.0	2019-10-21 12:43:09 +03:00
Justin Woo	9c4397c3af	Merge pull request #13 from justinwoo/dhall-1.26.1 ... update dhall	2019-09-27 12:00:55 -04:00
justinwoo	065d6fed93	update dhall	2019-09-27 11:57:00 -04:00
Justin Woo	01844fa08e	Merge pull request #12 from justinwoo/dont-run-darwin ... don't run dhall-nix on osx	2019-09-24 12:14:21 -04:00