shubhamkumar13

Here's the Fish shell equivalent of the recommended fix from #1:

1. Add the directory to PATH (temporarily, for current session)

set -gx PATH /home/linuxbrew/.linuxbrew/bin $PATH

2. Set CC and CXX to just the compiler names (not absolute paths)

set -gx CC gcc-15

shubhamkumar13

SETUVAR --export CFLAGS:\x2dO0\x20\x2dI/home/linuxbrew/\x2elinuxbrew/opt/ncurses/include
SETUVAR --export LDFLAGS:\x2dL/home/linuxbrew/\x2elinuxbrew/opt/ncurses/lib

also make sure you have the latest java and autoconf

in addition use PLEASE USE bbrew

shubhamkumar13

import { Circle, CODE, Code, CubicBezier, Layout, LezerHighlighter, makeScene2D, Path, Rect } from '@motion-canvas/2d';
import { all, createEffect, createRef, Reference, sequence, spawn, waitFor, createSignal } from '@motion-canvas/core';
import { parser } from "@lezer/python";
import { PathBuilder } from "owd-path-builder";

Code.defaultHighlighter = new LezerHighlighter(
  parser.configure({
    dialect: 'py',
  })
)

shubhamkumar13

a. Create 2 OPAM packages

1. These stub packages which will be used to simulate what a revdep failure looks like.
   The respective directory structure.
   

    stub-b/
    ├── opam
    ├── dune-project
    └── src/
        ├── dune

shubhamkumar13

(* shebang for ocaml *)
#!/usr/bin/env ocaml

(* to access files in the opam switch for the script *)
#use "topfind";;

#require "bos";;

let _ =
  Bos.OS.Cmd.run_out @@ Bos.Cmd.v "ls"

shubhamkumar13

fn range(start: isize, stop: isize, fun : impl Fn(&isize) -> isize) -> Vec<isize> {
    let mut v = vec![start];
    let mut temp = start;

    loop {
        temp = fun(&temp);
        v.push(temp.clone());
        if temp < stop {
            break;
        }

shubhamkumar13

wip but in the meantime I am working on a lean4-json serializer <-> deserializer and a build system

shubhamkumar13

(executable
 (name main)
 (public_name <keep-the-name-of-dir>.opam)
 (libraries dream))

shubhamkumar13

(lang dune 3.0)

shubhamkumar13

opam-version: "2.0"

depends: [
  "ocaml" {>= "4.08.0"}
  "dune" {>= "2.0.0"}
]