Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: gborough/sarif
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 0.3.1
Choose a base ref
...
head repository: gborough/sarif
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
  • 1 commit
  • 2 files changed
  • 1 contributor

Commits on May 13, 2024

  1. fixed makefile (#21)

    Geoffrey Borough authored May 13, 2024
    Copy the full SHA
    01d24f4 View commit details
Showing with 2 additions and 13 deletions.
  1. +2 −12 Makefile
  2. +0 −1 dune-project
14 changes: 2 additions & 12 deletions Makefile
Original file line number Diff line number Diff line change
@@ -1,20 +1,10 @@
INSTALL_ARGS := $(if $(PREFIX),--prefix $(PREFIX),)

default:
build:
dune build

test:
dune runtest

install:
dune install $(INSTALL_ARGS)

uninstall:
dune uninstall $(INSTALL_ARGS)

reinstall: uninstall install

clean:
dune clean

.PHONY: default test install uninstall reinstall clean
.PHONY: build test clean
1 change: 0 additions & 1 deletion dune-project
Original file line number Diff line number Diff line change
@@ -28,7 +28,6 @@
dune
re
(atdgen (>= 2.10.0))
; fix int64 JSON issue https://github.com/ahrefs/atd/issues/402
(atdgen-runtime (>= 2.12.0))
timedesc
(ppx_expect :with-test)