Unverified Commit 74686472 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

teyjus: fix build by using GCC 14 (#481681)

parents 04fa1e1c ee906d56

pkgs/development/compilers/teyjus/default.nix

+5 −4
Original line number Diff line number Diff line
@@ -2,18 +2,19 @@ 
  lib,

  fetchFromGitHub,

  buildDunePackage,

  stdenv,

  flex,

  bison,

}:



buildDunePackage rec {

(buildDunePackage.override { inherit stdenv; }) (finalAttrs: {

  pname = "teyjus";

  version = "2.1.1";



  src = fetchFromGitHub {

    owner = "teyjus";

    repo = "teyjus";

    tag = "v${version}";

    tag = "v${finalAttrs.version}";

    hash = "sha256-N4XKDd0NFr501PYUdb7PM2sWh0uD1/SUFXoMr10f064=";

  };
@@ -31,9 +32,9 @@ buildDunePackage rec { 
  meta = {

    description = "Efficient implementation of the Lambda Prolog language";

    homepage = "https://github.com/teyjus/teyjus";

    changelog = "https://github.com/teyjus/teyjus/releases/tag/v${version}";

    changelog = "https://github.com/teyjus/teyjus/releases/tag/v${finalAttrs.version}";

    license = lib.licenses.gpl3;

    maintainers = [ lib.maintainers.bcdarwin ];

    platforms = lib.platforms.unix;

  };

}
 
})

pkgs/top-level/all-packages.nix

+1 −0
Original line number Diff line number Diff line
@@ -5015,6 +5015,7 @@ with pkgs; 


  teyjus = callPackage ../development/compilers/teyjus {

    inherit (ocaml-ng.ocamlPackages_4_14) buildDunePackage;

    stdenv = gcc14Stdenv;

  };



  urweb = callPackage ../development/compilers/urweb {