• R/O
  • HTTP
  • SSH
  • HTTPS

提交

标签
No Tags

Frequently used words (click to add to your profile)

javac++androidlinuxc#windowsobjective-ccocoa誰得qtpythonphprubygameguibathyscaphec計画中(planning stage)翻訳omegatframeworktwitterdomtestvb.netdirectxゲームエンジンbtronarduinopreviewer

Nix flake for RPython interpreters


Commit MetaInfo

修订版31ace2b778170927210dabdaf436e7bd40a7fdb1 (tree)
时间2024-04-17 01:20:37
作者Corbin <cds@corb...>
CommiterCorbin

Log Message

Don't re-export Typhon.

Instead, let Monte users (all 2 of them!) import it from the downstream
flake. This lets us focus on providing generic RPython builders here.

更改概述

差异

--- a/README.md
+++ b/README.md
@@ -7,13 +7,18 @@ Language | Attribute
77 Brainfuck | `bf`
88 DIVSPL | `divspl`
99 Game Boy LR35902 | `pygirl`
10-Monte | `typhon`
1110 Prolog | `pyrolog`
1211 Python 2.7 | `pypy27`
1312 Python 3.8 | `pypy38`
1413 Python 3.9 | `pypy39`
1514 Ruby | `topaz`
1615
16+And its helpers are used by the following flakes:
17+
18+Language | Downstream
19+---|---
20+Monte | [`typhon`](https://github.com/monte-language/typhon/)
21+
1722 These implementations have one thing in common: they are written with RPython,
1823 a restricted subset of Python 2.7 which is amenable to static analysis. Using
1924 the RPython toolchain, they may be translated to efficient native interpreters
--- a/flake.lock
+++ b/flake.lock
@@ -37,8 +37,7 @@
3737 "root": {
3838 "inputs": {
3939 "flake-utils": "flake-utils",
40- "nixpkgs": "nixpkgs",
41- "typhon": "typhon"
40+ "nixpkgs": "nixpkgs"
4241 }
4342 },
4443 "systems": {
@@ -55,29 +54,6 @@
5554 "repo": "default",
5655 "type": "github"
5756 }
58- },
59- "typhon": {
60- "inputs": {
61- "flake-utils": [
62- "flake-utils"
63- ],
64- "nixpkgs": [
65- "nixpkgs"
66- ]
67- },
68- "locked": {
69- "lastModified": 1707184108,
70- "narHash": "sha256-641r2pA5/mAGX0Dx6/zEP4UtnbS0S0bfOIrJW37ygvA=",
71- "owner": "monte-language",
72- "repo": "typhon",
73- "rev": "fac865f75da5cba9802d2fe7442bec611bd54af4",
74- "type": "github"
75- },
76- "original": {
77- "owner": "monte-language",
78- "repo": "typhon",
79- "type": "github"
80- }
8157 }
8258 },
8359 "root": "root",
--- a/flake.nix
+++ b/flake.nix
@@ -4,16 +4,9 @@
44 inputs = {
55 nixpkgs.url = "github:nixos/nixpkgs/release-23.05";
66 flake-utils.url = "github:numtide/flake-utils";
7- typhon = {
8- url = "github:monte-language/typhon";
9- inputs = {
10- nixpkgs.follows = "nixpkgs";
11- flake-utils.follows = "flake-utils";
12- };
13- };
147 };
158
16- outputs = { self, nixpkgs, flake-utils, typhon }:
9+ outputs = { self, nixpkgs, flake-utils }:
1710 let
1811 # RPython's list of supported systems: https://www.pypy.org/features.html
1912 # Tested systems have had at least one package built and manually
@@ -313,7 +306,6 @@
313306 packages = {
314307 inherit (pkgs) pypy2 pypy27 pypy3 pypy38 pypy39;
315308 inherit bf divspl hippyvm topaz pygirl pysom pyrolog;
316- typhon = typhon.packages.${system}.typhonVm;
317309 rpythonPackages = {
318310 inherit appdirs macropy rply rsdl;
319311 };