Commit d6796b28 authored by Weijia Wang's avatar Weijia Wang Committed by Vincent Laporte
Browse files

ligo: unbreak on aarch64-linux

parent 413a052d

pkgs/development/compilers/ligo/default.nix

+0 −1
Original line number Diff line number Diff line
@@ -131,7 +131,6 @@ ocamlPackages.buildDunePackage rec { 
    mainProgram = "ligo";

    license = licenses.mit;

    platforms = ocamlPackages.ocaml.meta.platforms;

    broken = stdenv.isLinux && stdenv.isAarch64;

    maintainers = with maintainers; [ ulrikstrid ];

  };

}

pkgs/development/ocaml-modules/ctypes_stubs_js/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ 
  lib, fetchFromGitLab, buildDunePackage

, integers_stubs_js, ctypes, ppx_expect

, js_of_ocaml-compiler

, nodejs

, nodejs, stdenv

}:



buildDunePackage rec {
@@ -28,7 +28,7 @@ buildDunePackage rec { 
    ctypes

    ppx_expect

  ];

  doCheck = true;

  doCheck = !(stdenv.isLinux && stdenv.isAarch64);



  meta = {

    description = "Js_of_ocaml Javascript stubs for the OCaml ctypes library";