glsurf: build with ocaml 4.05

[sternenseemann]

Motivation for this change

Newest officially supported OCaml version it seems. This is in an effort to reduce our dependencies on older sets as much as possible.

Things done

• Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS linux)
• Built on platform(s)
  • NixOS
  • macOS
  • other Linux distributions
• Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
• Tested compilation of all pkgs that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• Determined the impact on package closure size (by running nix path-info -S before and after)
• Ensured that relevant documentation is up to date
• Fits CONTRIBUTING.md.

[r-rmcgibbo]

Result of nixpkgs-review pr 120799 at fcc9f2ae run on x86_64-linux 1

1 package built successfully:

• glsurf

3 suggestions:

• warning: stale-substitute

  Stale substituteInPlace detected.
  substituteStream(): WARNING: pattern '+camlp4' doesn't match anything in file 'src/Makefile'
  Near pkgs/applications/science/math/glsurf/default.nix:48:0:

     |
  48 |     description = "A program to draw implicit surfaces and curves";
     | ^
  

• warning: maintainers-missing

  Package does not have a maintainer. Consider adding yourself?

  Near pkgs/applications/science/math/glsurf/default.nix:46:3:

     |
  46 |   meta = {
     |   ^
  

• warning: missing-phase-hooks

  installPhase should probably contain runHook preInstall and runHook postInstall.

  Near pkgs/applications/science/math/glsurf/default.nix:37:3:

     |
  37 |   installPhase = ''
     |   ^
  

[vbgl]

Beware of #118934 (already in staging).

[sternenseemann]

Thanks, I vaguely remembered that, but forgot to check if it's in master already. I'll just rebase this on staging.

[sternenseemann]

@ofborg build glsurf

[sternenseemann]

I probably should've retargeted to master, but it isn't urgent either :)